Def CategoryTheory.Functor.sheafPullbackConstruction.sheafPullbackIso

Modification history