Theorem SimpleGraph.interedges_disjoint_left

Modification history