Documentation
Atlas
.
Buildings
.
code
.
CoxeterGroup
.
LengthDecreaseNeg
Search
return to top
source
Imports
Init
Mathlib.GroupTheory.Coxeter.Length
Atlas.Buildings.code.CoxeterGroup.ExchangeConditionGenuine
Atlas.Buildings.code.CoxeterGroup.SimpleReflectionInversions
Atlas.Buildings.code.CoxeterGroup.WordSigmaInvariance
Imported by