mathlib3

[Merged by Bors] - chore(algebraic_geometry/Scheme): remove @[simps] from Spec

#19188

Closed