Def Quiver.SingleObj.pathToList

Modification history

2023-01-20 21:53

Mathlib/Combinatorics/Quiver/SingleObj.lean

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

Added Quiver.SingleObj.pathToList View on Github →