Def SimpleGraph.pathGraph

Modification history

2023-03-06 07:14

Mathlib/Combinatorics/SimpleGraph/Hasse.lean

feat: port Combinatorics.SimpleGraph.Hasse (#2582) …

Added SimpleGraph.pathGraph View on Github →