Theorem Ring.KrullDimLE.minimalPrimes_eq_setOf_isMaximal

Modification history