Theorem ringKrullDim_quotient_succ_le_of_nonZeroDivisor

Modification history