Theorem SimpleGraph.not_mem_neighborFinset_self

Modification history