Theorem RootPairing.Base.abs_cartanMatrix_apply

Modification history