Theorem SimpleGraph.neighborFinset_disjoint_singleton

Modification history