Theorem ringKrullDim_add_enatCard_le_ringKrullDim_mvPolynomial

Modification history