mathlib

052f6013 - refactor(algebraic_geometry/prime_spectrum/basic): refactor prime_spectrum def into structure (#16930)