Inductive Quiver.Path

Modification history

2026-01-27 01:42

Mathlib/Combinatorics/Quiver/Path.lean

refactor: Restrict quiver homs to Type* (#34228) …

Modified Quiver.Path View on Github →

2022-12-01 17:40

Mathlib/Combinatorics/Quiver/Path.lean

feat: port Combinatorics.Quiver.Path (#811) …

Added Quiver.Path View on Github →