Theorem IsMulTorsionFree.pow_right_injective_iff

Modification history

2026-10-17 09:16
Mathlib/Algebra/Group/Torsion.lean
feat(Algebra): add zpow_right_injective (#42914) …
Added IsMulTorsionFree.pow_right_injective_iffView on Github →