Theorem SimpleGraph.mk_mem_interedges_comm

Modification history