Theorem Ideal.bot_quotient_isMaximal_iff

Modification history