Theorem RootPairing.Base.cartanMatrix_map_abs

Modification history