Theorem Order.krullDim_le_of_krullDim_preimage_le'

Modification history