Def CategoryTheory.Functor.sheafPullbackConstruction.sheafAdjunctionContinuous

Modification history