Theorem FreeGroup.toWord_mul_sublist

Modification history

2024-11-27 09:56
Mathlib/GroupTheory/FreeGroup/Basic.lean
chore(GroupTheory/FreeGroup): split off `Reduce.lean` (#19501)
Modified FreeGroup.toWord_mul_sublistView on Github →
2024-11-25 17:36
Mathlib/GroupTheory/FreeGroup/Basic.lean
feat(FreeGroup): some basic lemmas (#19468) …
Added FreeGroup.toWord_mul_sublistView on Github →