Theorem PrimeSpectrum.isJacobsonRing_iff_jacobsonSpace

Modification history

2024-11-04 20:06
Mathlib/AlgebraicGeometry/PrimeSpectrum/Jacobson.lean
feat(AlgebraicGeometry): prime spectrum of jacobson rings are jacobson spaces (#18353)
Added PrimeSpectrum.isJacobsonRing_iff_jacobsonSpaceView on Github →