Mathlib Changelog
v4
Changelog
About
Github
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 →