Theorem Equiv.Perm.not_isCycle_one

Modification history