Def CategoryTheory.Cat.free

Modification history

2024-05-17 19:31
Mathlib/CategoryTheory/Category/Quiv.lean
style: remove all isolated `where` (#12991)
Modified CategoryTheory.Cat.freeView on Github →
2023-09-22 07:38
Mathlib/CategoryTheory/Category/Quiv.lean
chore: Remove `Cat` suffixes (#3730) …
Modified CategoryTheory.Cat.freeView on Github →
2023-07-13 01:24
Mathlib/CategoryTheory/Category/QuivCat.lean
chore: bump to nightly-2023-07-01 (#5409) …
Modified CategoryTheory.Cat.freeView on Github →
2023-03-14 12:11
Mathlib/CategoryTheory/Category/QuivCat.lean
feat: port CategoryTheory.Category.Quiv (#2865)
Added CategoryTheory.Cat.freeView on Github →