Theorem Order.krullDim_eq_length_of_finiteDimensionalOrder

Modification history