Theorem Ring.krullDimLE_one_iff_of_isDomain

Modification history