Theorem Ideal.Filtration.Stable.exists_pow_smul_eq_of_ge

Modification history