Theorem TypeVec.prod_snd_mk

Modification history