Theorem Ring.not_isField_iff_exists_ideal_bot_lt_and_lt_top

Modification history