Def CategoryTheory.uniqueHomsetOfInitialIsoTerminal

Modification history

2023-06-10 00:02

Mathlib/CategoryTheory/Closed/Zero.lean

feat: port CategoryTheory.Closed.Zero (#4921)

Added CategoryTheory.uniqueHomsetOfInitialIsoTerminal View on Github →