Theorem TypeVec.appendFun_aux

Modification history