Theorem RootPairing.Base.toCoweightBasis_repr_coroot

Modification history