Theorem Order.krullDim_eq_zero_of_unique

Modification history