Theorem SimpleGraph.commonNeighbors_top_eq

Modification history