Theorem Hamming.norm_eq_hammingNorm

Modification history