Theorem TypeVec.dropFun_RelLast'

Modification history