Theorem Hamming.toHamming_smul

Modification history