Theorem SimpleGraph.Walk.isPath_iff_nil

Modification history

2026-06-02 03:29

Mathlib/Combinatorics/SimpleGraph/Paths.lean

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

Added SimpleGraph.Walk.isPath_iff_nil View on Github →