Theorem SimpleGraph.sdiff_compl_neighborFinset_inter_eq

Modification history