Def FreeGroup.reduceCyclically.conjugator

Modification history

2025-10-21 11:18

Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean

feat(GroupTheory/FreeGroup): add cyclic reduction of words (#27673) …

Added FreeGroup.reduceCyclically.conjugator View on Github →