Theorem CategoryTheory.Functor.initial_comp

Modification history

2024-06-04 08:15
Mathlib/CategoryTheory/Limits/Final.lean
feat(CategoryTheory): vertical composition of Guitart exact squares (#12627) …
Deleted CategoryTheory.Functor.initial_compView on Github →
2023-08-06 07:06
Mathlib/CategoryTheory/Limits/Final.lean
feat: composition properties of final functors (#6250)
Added CategoryTheory.Functor.initial_compView on Github →