Finite Coxeter group (source code)

= Finite Coxeter group
{c}

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