Def typeToPartialFun

Modification history

2023-06-21 21:04
Mathlib/CategoryTheory/Category/PartialFun.lean
feat: port CategoryTheory.Category.PartialFun (#5301)
Added typeToPartialFunView on Github →