mathlib3

36fc1cab - feat(algebraic_geometry/prime_spectrum): prime spectrum analogue of Hilberts Nullstellensatz (#6805)

feat(algebraic_geometry/prime_spectrum): prime spectrum analogue of Hilberts Nullstellensatz (#6805) Referring to a TODO comment in `algebraic_geometry/prime_spectrum.lean`, which I presume is outdated.