Theorem CategoryTheory.Functor.Initial.limit_cone_comp_aux

Modification history