Theorem TypeVec.appendFun_inj

Modification history