Theorem Ideal.Filtration.Stable.exists_pow_smul_eq

Modification history