Theorem Ideal.iInf_pow_eq_bot_of_isLocalRing

Modification history