Theorem SimpleGraph.Walk.map_toDeleteEdges_eq

Modification history