Theorem RootPairing.Base.cartanMatrixIn_apply_same

Modification history