Theorem ofAdd_nsmul

Modification history