Theorem Prod.snd_toSigma

Modification history