Theorem SimpleGraph.Walk.IsTrail.of_cons

Modification history