Commit 2026-10-02 16:16 a2d2c3e3
View on Github →doc(Geometry/Group/WordMetric): correct wordLength_le_iff docstring (#44418)
Correct the wordLength_le_iff docstring to say that the representing word has length at most n, matching l.length ≤ n in the statement.