Theorem SimpleGraph.mk_mem_interedges_iff

Modification history