Def CategoryTheory.Under.costar

Modification history

2025-04-09 12:22
Mathlib/CategoryTheory/Comma/Over/Pullback.lean
feat: the category over a terminal object (#23702) …
Added CategoryTheory.Under.costarView on Github →