Theorem Hamming.toHamming_sub

Modification history