Theorem Ring.mem_jacobson_iff

Modification history

2026-10-28 11:47

Mathlib/RingTheory/Jacobson/Ideal.lean

chore(RingTheory/Jacobson): use `Ring.jacobson` throughout the library (#44788) …

Added Ring.mem_jacobson_iff View on Github →