Theorem TypeVec.lastFun_from_append1_drop_last

Modification history