Theorem CategoryTheory.Functor.Final.colimit_cocone_comp_aux

Modification history