Theorem SimpleGraph.commonNeighbors_eq

Modification history