Theorem TypeVec.splitFun_comp

Modification history