Theorem FreeGroup.IsCyclicallyReduced.singleton

Modification history

2025-10-21 11:18
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): add cyclic reduction of words (#27673) …
Deleted FreeGroup.IsCyclicallyReduced.singletonView on Github →
2025-09-30 17:24
Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean
feat(GroupTheory/FreeGroup): add definition of cyclically reduced words (#27672) …
Added FreeGroup.IsCyclicallyReduced.singletonView on Github →