Theorem SimpleGraph.edge_other_ne

Modification history