Theorem hammingDist_smul_le_hammingDist

Modification history