Def pointedToPartialFun

Modification history

2023-06-21 21:04

Mathlib/CategoryTheory/Category/PartialFun.lean

feat: port CategoryTheory.Category.PartialFun (#5301)

Added pointedToPartialFun View on Github →