Theorem CategoryTheory.Functor.Final.hasColimit_of_comp

Modification history