Theorem Equiv.Perm.IsCycleOn.injOn_pow_apply

Modification history

2026-10-13 09:24
Mathlib/GroupTheory/Perm/Cycle/Basic.lean
feat(SimpleGraph): hamiltonian cycle from cyclic permutation (#36376) …
Added Equiv.Perm.IsCycleOn.injOn_pow_applyView on Github →