Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid.is_torsion.torsion_mul_equiv_symm_apply_coe

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_symm_apply_coeView on Github →