Theorem TypeVec.dropFun_diag

Modification history