Theorem TypeVec.dropFun_toSubtype

Modification history