Theorem CoxeterMatrix.E₇IsCoxeter

Modification history