Theorem Ring.KrullDimLE.nilradical_eq_maximalIdeal

Modification history