Theorem TypeVec.snd_prod_mk

Modification history