Theorem FreeGroup.norm_mk_le

Modification history

2024-11-27 09:56
Mathlib/GroupTheory/FreeGroup/Basic.lean
chore(GroupTheory/FreeGroup): split off `Reduce.lean` (#19501)
Modified FreeGroup.norm_mk_leView on Github →
2023-01-27 13:56
Mathlib/GroupTheory/FreeGroup.lean
feat: port GroupTheory.FreeGroup (#1867)
Added FreeGroup.norm_mk_leView on Github →