Theorem SimpleGraph.Walk.IsTrail.of_append_right

Modification history