Theorem krullDim_eq_top_of_infiniteDimensionalOrder

Modification history