Theorem Ideal.height_le_one_of_isPrincipal_of_mem_minimalPrimes

Modification history