Theorem isAddTorsion_iff_isTorsion_int

Modification history

2026-07-24 18:27

Mathlib/Algebra/Module/Torsion/Basic.lean

chore(GroupTheory/Torsion): rename `IsTorsion` to `IsMulTorsion` (#41213) …

Added isAddTorsion_iff_isTorsion_int View on Github →