Theorem ofAdd_smul

Modification history