Theorem krullDim_nonneg_of_nonempty

Modification history