Theorem SimpleGraph.Walk.map_nil

Modification history