Def CategoryTheory.QuivCat.of

Modification history

2023-09-22 07:38

Mathlib/CategoryTheory/Category/Quiv.lean

chore: Remove `Cat` suffixes (#3730) …

Deleted CategoryTheory.QuivCat.of View on Github →

2023-03-14 12:11

Mathlib/CategoryTheory/Category/QuivCat.lean

feat: port CategoryTheory.Category.Quiv (#2865)

Added CategoryTheory.QuivCat.of View on Github →