Theorem Hamming.ofHamming_smul

Modification history