Commit 2026-11-10 22:58 42088274

feat(Combinatorics/SimpleGraph/Paths): length of closed a walk/trail isn't 1/2 (#41633) For a closed walk p:

• p.length ≠ 1
• p.IsTrail → p.length ≠ 2
• p.IsTrail → p.length ≤ 2 → p.Nil