Def PartialFun.Iso.mk

Modification history

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