Theorem Equiv.Perm.card_compl_support_modEq

Modification history