Def Vector.elim

Modification history