Theorem SimpleGraph.Walk.edges_dropUntil_subset

Modification history