Theorem SimpleGraph.card_commonNeighbors_top

Modification history