mathlib3

fix(algebraic_geometry/presheafedspace): fix lame proofs

#1273

Merged