Theorem Ring.KrullDimLE.isField_of_isReduced

Modification history