Theorem FreeGroup.pow_mk

Modification history

2024-11-04 05:59
Mathlib/GroupTheory/FreeGroup/Basic.lean
chore: bump toolchain to v4.14.0-rc1 (#18597) …
Modified FreeGroup.pow_mkView on Github →
2024-10-29 15:17
Mathlib/GroupTheory/FreeGroup/Basic.lean
feat: cardinalities of free constructions and `Nonempty (CommRing α)` (#18364) …
Added FreeGroup.pow_mkView on Github →