Theorem Ring.KrullDimLE.subsingleton_primeSpectrum

Modification history