Theorem AddSubgroup.torsionBy.nsmul_iff

Modification history

2024-08-22 13:52
Mathlib/Algebra/Module/Torsion.lean
feat(Algebra): additive `n`-torsion subgroups (#11742) …
Added AddSubgroup.torsionBy.nsmul_iffView on Github →