Theorem SimpleGraph.Walk.reverse_map

Modification history