Theorem SimpleGraph.interedges_disjoint_right

Modification history