Theorem CoxeterMatrix.H₄IsCoxeter

Modification history