Theorem Ideal.iInf_pow_eq_bot_of_localRing

Modification history