Theorem CategoryTheory.Functor.ι_colimitIsoOfIsLeftKanExtension_hom

Modification history