Theorem SimpleGraph.Walk.copy_cons

Modification history