Theorem SimpleGraph.Embedding.apply_mem_neighborSet_iff

Modification history