Documentation
Atlas
.
Buildings
.
code
.
CoxeterGroup
.
ExchangeUniqueness
Search
return to top
source
Imports
Init
Mathlib.GroupTheory.Coxeter.Inversion
Imported by