Theorem Hamming.toHamming_zero

Modification history