Theorem SimpleGraph.interedges_def

Modification history