Theorem ChevalleyThm.MvPolynomialC.numBound_casesOn_succ

Modification history