Def Quiver.SingleObj

Modification history

2023-08-10 19:52
Mathlib/Combinatorics/Quiver/SingleObj.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Quiver.SingleObjView on Github →
2023-01-20 21:53
Mathlib/Combinatorics/Quiver/SingleObj.lean
feat: port combinatorics.quiver.single obj (#1686)
Added Quiver.SingleObjView on Github →