Mathlib Changelog
v4
Changelog
About
Github
Theorem
Ideal.add_pow_add_pred_mem_of_pow_mem_of_commute
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_of_commute
View on Github →
2025-01-24 14:15
Mathlib/RingTheory/Ideal/Basic.lean
feat(Topology/Algebra/TopologicallyNilpotent): top nilpotent in linear topologies (#20971) …
Added
Ideal.add_pow_add_pred_mem_of_pow_mem_of_commute
View on Github →