Theorem PrimeSpectrum.zeroLocus_insert_zero

Modification history

2024-12-20 16:26
Mathlib/RingTheory/PrimeSpectrum.lean
feat: isomorphic rings have isomorphic spectra (#20068) …
Added PrimeSpectrum.zeroLocus_insert_zeroView on Github →