Theorem Ideal.isRadical_iff_pow_one_lt

Modification history