Theorem Order.krullDim_pos_iff

Modification history