Theorem SimpleGraph.Walk.cons_isTrail_iff

Modification history