Theorem krullDim_eq_of_orderIso

Modification history