Theorem TypeVec.lastFun_prod

Modification history