mathlib3
05d8188c - feat(group_theory/torsion): define torsion groups (#11850)

Commit

3 years ago

feat(group_theory/torsion): define torsion groups (#11850) I grepped for torsion group and didn't find anything -- hopefully adding this makes sense here.

Author

Julian

Parents

3cc9ac40

mathlib3 05d8188c - feat(group_theory/torsion): define torsion groups (#11850)

mathlib3
05d8188c - feat(group_theory/torsion): define torsion groups (#11850)