Def Pointed.Iso.mk

Modification history

2023-03-17 14:06

Mathlib/CategoryTheory/Category/Pointed.lean

chore: tidy various files (#2950)

Modified Pointed.Iso.mk View on Github →

2023-03-14 11:19

Mathlib/CategoryTheory/Category/Pointed.lean

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

Added Pointed.Iso.mk View on Github →