Theorem SimpleGraph.card_interedges_add_card_interedges_compl

Modification history