Theorem ringKrullDim_succ_le_ringKrullDim_polynomial

Modification history