Theorem hamming_zero_eq_dist

Modification history