Theorem Ring.KrullDimLE.radical_eq_maximalIdeal

Modification history