Theorem Order.krullDim_eq_of_orderIso

Modification history