Theorem Equiv.Perm.Basis.cycleOf_eq

Modification history