Theorem SimpleGraph.IsHamiltonian.of_perm

Modification history

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