Theorem hammingNorm_smul_le_hammingNorm

Modification history