Theorem PrimeSpectrum.zeroLocus_diff_singleton_zero

Modification history

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