Theorem zpowers_mabs

Modification history

2026-09-30 14:37
Mathlib/GroupTheory/OrderOfElement.lean
refactor(Algebra/Group): fix the definition of torsion-free non-abelian groups (#42407) …
Modified zpowers_mabsView on Github →
2025-10-28 21:32
Mathlib/GroupTheory/OrderOfElement.lean
feat(Topology/Algebra/Order/Archimedean): subgroups cyclic iff discrete (#30471) …
Added zpowers_mabsView on Github →