Theorem ChevalleyThm.MvPolynomialC.degBound_succ

Modification history