Theorem Ideal.iInf_pow_smul_eq_bot_of_isLocalRing

Modification history