Theorem RootPairing.Base.cartanMatrix_nondegenerate

Modification history