Theorem CategoryTheory.Presheaf.isLeftKanExtension_of_preservesColimits

Modification history