Theorem FreeGroup.IsReduced.append_flatten_replicate_append

Modification history

2025-11-04 07:54
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): reduction theorem for powers (#27678) …
Added FreeGroup.IsReduced.append_flatten_replicate_appendView on Github →