Theorem hammingNorm_zero

Modification history