Def SimpleGraph.Walk.IsHamiltonian.supportGetEquiv

Modification history

2025-11-04 16:51

Mathlib/Combinatorics/SimpleGraph/Hamiltonian.lean

feat(Combinatorics/SimpleGraph/Hamiltonian): `p.support.get` and `p.getVert` define equivalences with `Fin` (#30149)

Added SimpleGraph.Walk.IsHamiltonian.supportGetEquiv View on Github →