Theorem Ideal.ofList_cons_smul

Modification history