Theorem TypeVec.dropFun_from_append1_drop_last

Modification history