Theorem ChevalleyThm.MvPolynomialC.degBound_casesOn_succ

Modification history