Theorem SimpleGraph.Walk.Nil.append

Modification history

2025-02-24 06:45

Mathlib/Combinatorics/SimpleGraph/Walk.lean

feat(Combinatorics/SimpleGraph): takeUntil properties (#21250) …

Added SimpleGraph.Walk.Nil.append View on Github →