Theorem krullDim_le_of_strictComono_and_surj

Modification history