Theorem Prod.snd_one

Modification history