Theorem Rel.card_interedges_add_card_interedges_compl

Modification history