Theorem Prod.snd_vadd

Modification history