Theorem Prod.snd_ofNat

Modification history