Theorem hammingNorm_comp

Modification history