Theorem ringKrullDim_add_natCard_le_ringKrullDim_mvPolynomial

Modification history