Theorem Ideal.Ideal.map_isPrime_of_surjective

Modification history