Theorem FreeGroup.reduceCyclically.conj_conjugator_reduceCyclically

Modification history

2025-11-04 07:54
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): reduction theorem for powers (#27678) …
Modified FreeGroup.reduceCyclically.conj_conjugator_reduceCyclicallyView on Github →
2025-10-21 11:18
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): add cyclic reduction of words (#27673) …
Added FreeGroup.reduceCyclically.conj_conjugator_reduceCyclicallyView on Github →