Theorem TypeVec.splitFun_inj

Modification history