Theorem hammingDist_self

Modification history