Theorem hammingDist_zero_left

Modification history