Theorem SimpleGraph.cycleGraph_EulerianCircuit_length

Modification history

2026-03-19 16:26
Mathlib/Combinatorics/SimpleGraph/Circulant.lean
chore: rename `cycleGraph_EulerianCircuit` to `cycleGraph.cycle` (#35360) …
Deleted SimpleGraph.cycleGraph_EulerianCircuit_lengthView on Github →
2025-01-22 10:18
Mathlib/Combinatorics/SimpleGraph/Circulant.lean
feat(Combinatorics/SimpleGraph): chromatic number of cycle graph (#20117)
Added SimpleGraph.cycleGraph_EulerianCircuit_lengthView on Github →