Theorem Equiv.Perm.IsCycle.existsUnique_cycle_nontrivial_subtype

Modification history