Mathlib v3 is deprecated. Go to Mathlib v4

Def PartialFun.of

Modification history

2022-07-30 06:36
src/category_theory/category/PartialFun.lean
refactor(tactic/lint/type_classes): change inhabited linter to nonempty linter (#15542) …
Modified PartialFun.ofView on Github →
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.ofView on Github →