Theorem RootPairing.Base.toCoweightBasis_apply

Modification history