Theorem Ideal.exists_ideal_over_maximal_of_isIntegral

Modification history