Theorem Ideal.isRadical_bot_iff

Modification history