Theorem SimpleGraph.connected_cycleGraph_add_one

Modification history

2026-10-17 12:17

Mathlib/Combinatorics/SimpleGraph/CycleGraph.lean

feat(SimpleGraph): reduce CycleGraph imports (#41306) …

Modified SimpleGraph.connected_cycleGraph_add_one View on Github →

2026-10-12 15:45

Mathlib/Combinatorics/SimpleGraph/CycleGraph.lean

feat(Combinatorics/SimpleGraph/Hasse): more properties of Hasse graphs of linear orders (#40728) …

Added SimpleGraph.connected_cycleGraph_add_one View on Github →