Theorem Equiv.Perm.card_isConj_eq

Modification history