Theorem hammingDist_comp

Modification history