Theorem SimpleGraph.Iso.apply_mem_neighborSet_iff

Modification history