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