Theorem SimpleGraph.Walk.map_append

Modification history