Theorem card_compl_add_card

Modification history