Theorem SimpleGraph.cycleGraph_isContained_of_isCycleOn

Modification history

2026-10-13 09:24
Mathlib/Combinatorics/SimpleGraph/Hamiltonian/Perm.lean
feat(SimpleGraph): hamiltonian cycle from cyclic permutation (#36376) …
Added SimpleGraph.cycleGraph_isContained_of_isCycleOnView on Github →