Theorem TypeVec.append_prod_appendFun

Modification history