Theorem Ideal.isRadical_bot

Modification history