Theorem FreeGroup.toWord_of_pow

Modification history

2024-10-29 15:17
Mathlib/GroupTheory/FreeGroup/Basic.lean
feat: cardinalities of free constructions and `Nonempty (CommRing α)` (#18364) …
Added FreeGroup.toWord_of_powView on Github →