Theorem TypeVec.appendFun_comp'

Modification history