mathlib3

feat(algebraic_geometry/prime_spectrum): prime spectrum of a ring is compact

#1987

Merged