Theorem Ring.ne_bot_of_isMaximal_of_not_isField

Modification history