Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid.is_torsion.torsion_mul_equiv_apply

Modification history

2023-03-18 18:29
src/group_theory/torsion.lean
perf(group_theory/torsion): Speedup `torsion_mul_equiv` (#18614) …
Added monoid.is_torsion.torsion_mul_equiv_applyView on Github →