Theorem hammingDist_eq_hammingNorm

Modification history