Theorem SimpleGraph.degree_lt_card_verts

Modification history