Theorem CoxeterSystem.ext_simple

Modification history

2025-04-09 11:53
Mathlib/GroupTheory/Coxeter/Basic.lean
feat: generalize Mathlib.GroupTheory (#23192) …
Modified CoxeterSystem.ext_simpleView on Github →
2024-04-26 09:42
Mathlib/GroupTheory/Coxeter/Basic.lean
feat: simple reflections, words, lifting in Coxeter groups (#11406) …
Added CoxeterSystem.ext_simpleView on Github →