Theorem SimpleGraph.Walk.edge_lastDart

Modification history