Theorem Equiv.Perm.IsThreeCycle.isThreeCycle_sq

Modification history