Theorem Ring.KrullDimLE.isNilpotent_iff_mem_maximalIdeal

Modification history