Def CategoryTheory.Over.equivalenceOfIsTerminal

Modification history

2025-04-09 12:22

Mathlib/CategoryTheory/Comma/Over/Basic.lean

feat: the category over a terminal object (#23702) …

Added CategoryTheory.Over.equivalenceOfIsTerminal View on Github →