Theorem Equiv.Perm.cycleType_ofSubtype

Modification history