Theorem Order.krullDim_eq_zero_iff_of_orderTop

Modification history