Theorem Ring.KrullDimLE.eq_maximalIdeal_of_isPrime

Modification history