Theorem Ideal.isPrime_map_C_iff_isPrime

Modification history