Theorem RootPairing.InvariantForm.coxeterWeight_zero_iff_isOrthogonal

Modification history