Mathlib v3 is deprecated. Go to Mathlib v4

Def quiver.single_obj.to_prefunctor

Modification history

2023-01-18 11:08

src/combinatorics/quiver/single_obj.lean

feat(combinatorics/quiver/single_obj): single object quivers (#17846) …

Added quiver.single_obj.to_prefunctor View on Github →