Finite Coxeter group (source code)

= Finite Coxeter group
{c}
{wiki=Coxeter_group#Finite_Coxeter_groups}

A finite Coxeter group is a <Coxeter group> with finitely many elements. Its <Coxeter Gram matrix> is positive definite.