Theorem Ideal.Filtration.pow_smul_le

Modification history