Theorem Ideal.bot_lt_of_maximal

Modification history