Theorem CoxeterMatrix.G₂IsCoxeter

Modification history