Theorem Quiver.Path.toList_chain_nonempty

Modification history

2025-09-24 16:53
Mathlib/Combinatorics/Quiver/Path.lean
fix: adaptations for batteries#1421 (#29928) …
Deleted Quiver.Path.toList_chain_nonemptyView on Github →
2022-12-01 17:40
Mathlib/Combinatorics/Quiver/Path.lean
feat: port Combinatorics.Quiver.Path (#811) …
Added Quiver.Path.toList_chain_nonemptyView on Github →