Theorem FreeGroup.isCyclicallyReduced_cons_append_iff

Modification history

2025-09-30 17:24

Mathlib/GroupTheory/FreeGroup/CyclicallyReduced.lean

feat(GroupTheory/FreeGroup): add definition of cyclically reduced words (#27672) …

Added FreeGroup.isCyclicallyReduced_cons_append_iff View on Github →