mathlib

12edc988 - feat(algebraic_geometry/prime_spectrum/maximal): maximal spectrum (#16905)