Theorem Ideal.under_smul

Modification history