Theorem TypeVec.lastFun_toSubtype

Modification history