Mathlib Changelog
v4
Changelog
About
Github
Theorem
Ideal.add_pow_add_pred_mem_of_pow_mem
Modification history
2025-03-12 09:09
Mathlib/RingTheory/Ideal/Basic.lean
chore(whitespace): lots of whitespace (#22838) …
Modified
Ideal.add_pow_add_pred_mem_of_pow_mem
View on Github →
2024-04-01 16:53
Mathlib/RingTheory/Ideal/Basic.lean
feat(Mathlib/RingTheory/Ideal/Operations): simplify definition of radical (#11723) …
Added
Ideal.add_pow_add_pred_mem_of_pow_mem
View on Github →