Theorem TypeVec.lastFun_splitFun

Modification history