Theorem Hamming.ofHamming_sub

Modification history