Theorem SimpleGraph.interedges_mono

Modification history