Theorem Ring.jacobson_polynomial_eq_bot_of_jacobson_eq_bot

Modification history

2026-10-28 11:47
Mathlib/RingTheory/Jacobson/Polynomial.lean
chore(RingTheory/Jacobson): use `Ring.jacobson` throughout the library (#44788) …
Added Ring.jacobson_polynomial_eq_bot_of_jacobson_eq_botView on Github →