Theorem TypeVec.lastFun_appendFun

Modification history