Theorem Ring.KrullDimLE.existsUnique_isPrime

Modification history