Theorem CoxeterMatrix.E₈IsCoxeter

Modification history