Theorem FreeGroup.IsReduced.singleton

Modification history

2025-09-24 16:53
Mathlib/GroupTheory/FreeGroup/Basic.lean
fix: adaptations for batteries#1421 (#29928) …
Modified FreeGroup.IsReduced.singletonView on Github →
2025-08-13 15:26
Mathlib/GroupTheory/FreeGroup/Basic.lean
feat(GroupTheory/FreeGroup): add predicate for reduced words (#25966) …
Added FreeGroup.IsReduced.singletonView on Github →