Theorem SimpleGraph.disjoint_edge

Modification history