Theorem hammingNorm_nonneg

Modification history