Commit 2023-03-14 12:11 a157a08e

View on Github →

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

Estimated changes

Modified Mathlib.lean

Created Mathlib/CategoryTheory/Category/QuivCat.lean

added def CategoryTheory.Cat.free

added def CategoryTheory.QuivCat.adj

added def CategoryTheory.QuivCat.forget

added def CategoryTheory.QuivCat.lift

added def CategoryTheory.QuivCat.of

added def CategoryTheory.QuivCat