Theorem SimpleGraph.card_interedges_div_card

Modification history