Theorem Order.krullDim_eq_iSup_height

Modification history