Theorem SimpleGraph.Connected.card_vert_le_card_edgeSet_add_one

Modification history