Theorem SimpleGraph.Walk.IsPath.nil_iff_eq

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.nil_iff_eq View on Github →