Def CategoryTheory.uniqueHomsetOfZero

Modification history

2023-06-10 00:02
Mathlib/CategoryTheory/Closed/Zero.lean
feat: port CategoryTheory.Closed.Zero (#4921)
Added CategoryTheory.uniqueHomsetOfZeroView on Github →