Theorem Equiv.Perm.card_isConj_mul_eq

Modification history