Def Quiver.SingleObj.pathEquivList

Modification history

2023-01-20 21:53

Mathlib/Combinatorics/Quiver/SingleObj.lean

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

Added Quiver.SingleObj.pathEquivList View on Github →