Theorem Order.krullDim_nonpos_iff_forall_isMax

Modification history