Theorem Hamming.ofHamming_zero

Modification history