Theorem CoxeterSystem.simple_mul_simple_cancel_left

Modification history

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