Theorem Polynomial.ringKrullDim_le

Modification history