Theorem Hamming.toHamming_neg

Modification history