Theorem hammingDist_smul

Modification history