Theorem FreeGroup.IsCyclicallyReduced.flatten_replicate

Modification history

2025-11-04 07:54
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): reduction theorem for powers (#27678) …
Modified FreeGroup.IsCyclicallyReduced.flatten_replicateView on Github →
2025-09-30 17:24
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): add definition of cyclically reduced words (#27672) …
Added FreeGroup.IsCyclicallyReduced.flatten_replicateView on Github →