The Krull dimension of a field

This file proves that the Krull dimension of a field is zero.

@[simp]

theorem ringKrullDim_eq_zero_of_field (F : Type u_1) [Field F] : ringKrullDim F = 0

theorem ringKrullDim_eq_zero_of_isField {F : Type u_1} [CommRing F] (hF : IsField F) : ringKrullDim F = 0