Def CategoryTheory.unitCompPartialBijectiveAux

Modification history

2023-02-24 18:15

Mathlib/CategoryTheory/Adjunction/Reflective.lean

feat: port CategoryTheory.Adjunction.Reflective (#2467)

Added CategoryTheory.unitCompPartialBijectiveAux View on Github →