Def WideSubquiver

Modification history

2026-01-27 01:42

Mathlib/Combinatorics/Quiver/Subquiver.lean

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

Modified WideSubquiver View on Github →

2022-12-02 23:34

Mathlib/Combinatorics/Quiver/Subquiver.lean

feat: port Combinatorics.Quiver.Subquiver (#828) …

Added WideSubquiver View on Github →