Theorem ringKrullDim_eq_zero_of_isField

Modification history