Theorem TypeVec.prod_fst_mk

Modification history