Theorem TypeVec.dropFun_id

Modification history