Theorem Equiv.Perm.IsCycle.existsUnique_cycle

Modification history