Theorem hammingNorm_smul

Modification history