Theorem SimpleGraph.regularityReduced_edges_card_aux

Modification history