Theorem PrimeSpectrum.zeroLocus_smul_of_isUnit

Modification history

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