Theorem CategoryTheory.Functor.final_iff_isIso_colimit_pre

Modification history

2023-08-06 07:06
Mathlib/CategoryTheory/Limits/Final.lean
feat: composition properties of final functors (#6250)
Added CategoryTheory.Functor.final_iff_isIso_colimit_preView on Github →