Theorem SimpleGraph.cycleGraph_preconnected

Modification history

2026-10-12 15:45
Mathlib/Combinatorics/SimpleGraph/CycleGraph.lean
feat(Combinatorics/SimpleGraph/Hasse): more properties of Hasse graphs of linear orders (#40728) …
Deleted SimpleGraph.cycleGraph_preconnectedView on Github →
2026-06-30 21:02
Mathlib/Combinatorics/SimpleGraph/Circulant.lean
chore(SimpleGraph): move `cycleGraph` to its own file (#37930) …
Modified SimpleGraph.cycleGraph_preconnectedView on Github →
2024-08-06 08:16
Mathlib/Combinatorics/SimpleGraph/Circulant.lean
feat(Combinatorics/SimpleGraph): Add definition of circulant graph and cycle graph (#15501)
Added SimpleGraph.cycleGraph_preconnectedView on Github →