Mathlib v3 is deprecated. Go to Mathlib v4

Def Pointed.iso.mk

Modification history

2022-02-16 19:16

src/category_theory/category/Pointed.lean

feat(category_theory/category/PartialFun): The category of types with partial functions (#11866) …

Added Pointed.iso.mk View on Github →