Theorem Order.krullDim_nonneg

Modification history