Theorem ConjClasses.card_carrier

Modification history