Theorem FreeGroup.reduceCyclically.reduce_flatten_replicate

Modification history

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