Theorem ringKrullDimZero_iff_ringKrullDim_eq_zero

Modification history