Theorem Ring.not_isField_iff_exists_prime

Modification history