Theorem Order.krullDim_eq_iSup_length

Modification history