Theorem Ring.KrullDimLE.of_isMaximal_nilradical

Modification history