Theorem RootPairing.Base.cartanMatrixIn_nondegenerate

Modification history