Theorem Ideal.Filtration.pow_smul_le_pow_smul

Modification history