Basic
📁 Source: Mathlib/Tactic/Order/Graph/Basic.lean
Statistics
| Metric | Count |
|---|---|
DefinitionsEdge, dst, proof, src, DFSState, visited, addEdge, buildTransitiveLeProof, buildTransitiveLeProofDFS, constructLeGraph, instToStringEdge | 11 |
| Theorems | 0 |
| Total | 11 |
Mathlib.Tactic.Order
Definitions
| Name | Category | Theorems |
|---|---|---|
Edge 📖 | CompData | — |
instToStringEdge 📖 | CompOp | — |
Mathlib.Tactic.Order.Edge
Definitions
| Name | Category | Theorems |
|---|---|---|
dst 📖 | CompOp | — |
proof 📖 | CompOp | — |
src 📖 | CompOp | — |
Mathlib.Tactic.Order.Graph
Definitions
| Name | Category | Theorems |
|---|---|---|
DFSState 📖 | CompData | — |
addEdge 📖 | CompOp | — |
buildTransitiveLeProof 📖 | CompOp | — |
buildTransitiveLeProofDFS 📖 | CompOp | — |
constructLeGraph 📖 | CompOp | — |
Mathlib.Tactic.Order.Graph.DFSState
Definitions
| Name | Category | Theorems |
|---|---|---|
visited 📖 | CompOp | — |
---