Theorem CommGroup.dvd_exponent

Modification history

2024-11-07 22:07

Mathlib/GroupTheory/FiniteAbelian/Duality.lean

feat(GroupTheory/FiniteAbelian/Duality): new file (#18738) …

Added CommGroup.dvd_exponent View on Github →