Theorem Ring.krullDimLE_one_iff_of_isPrime_bot

Modification history