Mathlib Changelog
v4
Changelog
About
Github
Theorem
AddSubgroup.torsionBy.mod_self_nsmul
Modification history
2025-07-04 07:44
Mathlib/Algebra/Module/Torsion.lean
chore: further whitespace fixes (#26708) …
Modified
AddSubgroup.torsionBy.mod_self_nsmul
View on Github →
2024-08-22 13:52
Mathlib/Algebra/Module/Torsion.lean
feat(Algebra): additive `n`-torsion subgroups (#11742) …
Added
AddSubgroup.torsionBy.mod_self_nsmul
View on Github →