Theorem Ideal.iInf_pow_eq_bot_of_isDomain

Modification history