Theorem CategoryTheory.Presheaf.isLeftAdjoint_of_preservesColimits

Modification history