Theorem not_isMulTorsionFree_of_isMulTorsion

Modification history

2026-07-24 18:27

Mathlib/GroupTheory/Torsion.lean

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

Added not_isMulTorsionFree_of_isMulTorsion View on Github →