Theorem CoxeterMatrix.E₆IsCoxeter

Modification history