Theorem SimpleGraph.card_commonNeighbors_lt_card_verts

Modification history