Theorem Order.krullDim_eq_zero_iff_of_orderBot

Modification history