Theorem SimpleGraph.singleton_disjoint_neighborFinset

Modification history