Theorem RootPairing.Base.toWeightBasis_apply

Modification history