Commit 2023-03-14 11:19 83941aed

View on Github →

feat: port CategoryTheory.Category.Pointed (#2864)

Estimated changes

added def Pointed.Hom.comp
added def Pointed.Hom.id
added def Pointed.Iso.mk
added theorem Pointed.coe_of
added def Pointed.of
added structure Pointed
added def typeToPointed