Theorem SimpleGraph.Walk.copy_nil

Modification history