Theorem SimpleGraph.commonNeighbors_subset_neighborSet_left

Modification history