Theorem TypeVec.lastFun_of_subtype

Modification history