Theorem SimpleGraph.Walk.edges_transfer

Modification history