Theorem ringKrullDim_succ_le_ringKrullDim_powerseries

Modification history