Def CategoryTheory.Functor.isColimitCoconeOfIsLeftKanExtension

Modification history