Def SimpleGraph.otherVertexOfIncident

Modification history