Mathlib v3 is deprecated. Go to Mathlib v4

Def PartialFun

Modification history

2022-02-16 19:16

src/category_theory/category/PartialFun.lean

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

Added PartialFun View on Github →