Theorem ofDual_smul

Modification history