Commit 2026-06-02 03:29 32610494

View on Github →

feat(Combinatorics/SimpleGraph/Paths): IsPath and Nil lemmas (#37399)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Acyclic.lean

Modified Mathlib/Combinatorics/SimpleGraph/Paths.lean

added theorem SimpleGraph.Walk.IsPath.nil_iff_eq

modified theorem SimpleGraph.Walk.isPath_iff_eq_nil

added theorem SimpleGraph.Walk.isPath_iff_nil