Theorem ringKrullDim_mvPolynomial_of_isEmpty

Modification history