Def CategoryTheory.Under.costarAdjForget

Modification history

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