Theorem RootPairing.Base.toWeightBasis_repr_root

Modification history