Theorem Equiv.Perm.IsThreeCycle.inv_iff

Modification history