Theorem Prod.snd_mul

Modification history