mathlib

b6b47ed5 - feat(algebraic_geometry/presheafed_space): Open immersions of presheafed spaces has pullbacks. (#10069)