mathlib

62a1f82f - fix(algebraic_geometry/projective_spectrum/scheme) : fix module doc string (#15633)

fix(algebraic_geometry/projective_spectrum/scheme) : fix module doc string (#15633) After renaming definitions/lemmas in the body of the `src/algebraic_geometry/projective_spectrum/scheme.lean`, the module doc string is left unchanged. This pr fix the doc string