Theorem krullDim_eq_iSup_height

Modification history