Mathlib Changelog
v4
Changelog
About
Github
Def
Quiver.Path.toList
Modification history
2022-12-01 17:40
Mathlib/Combinatorics/Quiver/Path.lean
feat: port Combinatorics.Quiver.Path (#811) …
Added
Quiver.Path.toList
View on Github →