Theorem SimpleGraph.Walk.copy_copy

Modification history