Theorem SimpleGraph.compl_neighborFinset_sdiff_inter_eq

Modification history