Theorem SimpleGraph.neighborSet_union_compl_neighborSet_eq

Modification history