Theorem SimpleGraph.card_commonNeighbors_le_degree_left

Modification history