Theorem RootPairing.Base.cartanMatrixIn_mul_diagonal_eq

Modification history