Theorem Order.krullDim_le_of_krullDim_preimage_le

Modification history