Theorem card_add_card_compl

Modification history