Def SimpleGraph.cycleGraph_EulerianCircuit

Modification history

2026-03-19 16:26

Mathlib/Combinatorics/SimpleGraph/Circulant.lean

chore: rename `cycleGraph_EulerianCircuit` to `cycleGraph.cycle` (#35360) …

Deleted SimpleGraph.cycleGraph_EulerianCircuit View 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 View on Github →