Def CoxeterMatrix.relationsSet

Modification history

2024-04-26 09:42

Mathlib/GroupTheory/Coxeter/Basic.lean

feat: simple reflections, words, lifting in Coxeter groups (#11406) …

Modified CoxeterMatrix.relationsSet View on Github →

2024-04-22 10:39

Mathlib/GroupTheory/Coxeter/Basic.lean

refactor(GroupTheory/Coxeter/Basic): Coxeter groups (#11836) …

Added CoxeterMatrix.relationsSet View on Github →