Theorem Ideal.isRadical_jacobson

Modification history

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