Theorem Ideal.jacobson_bot_polynomial_of_jacobson_bot

Modification history

2024-12-06 08:34
Mathlib/RingTheory/Jacobson/Ideal.lean
chore(RingTheory/JacobsonIdeal): split out Polynomial (#19734) …
Modified Ideal.jacobson_bot_polynomial_of_jacobson_botView on Github →
2023-05-18 05:52
Mathlib/RingTheory/JacobsonIdeal.lean
feat port RingTheory.JacobsonIdeal (#4061)
Added Ideal.jacobson_bot_polynomial_of_jacobson_botView on Github →