Theorem SimpleGraph.edge_other_incident_set

Modification history