Theorem Ring.KrullDimLE.isNilpotent_iff_mem_nonunits

Modification history