Theorem Ideal.Filtration.stable_iff_exists_pow_smul_eq_of_ge

Modification history