Theorem ofDual_smul'

Modification history