Theorem SimpleGraph.Walk.IsTrail.reverse

Modification history