Def Quiver.SingleObj.toPrefunctor

Modification history

2023-02-13 09:31

Mathlib/Combinatorics/Quiver/SingleObj.lean

chore: tidy various files (#2251)

Modified Quiver.SingleObj.toPrefunctor View on Github →

2023-01-20 21:53

Mathlib/Combinatorics/Quiver/SingleObj.lean

feat: port combinatorics.quiver.single obj (#1686)

Added Quiver.SingleObj.toPrefunctor View on Github →