Rewrite Vector using list and small inversions#170

andres-erbsen wants to merge 2 commits intorocq-prover:masterrocq-prover/stdlib:masterfrom

andres-erbsen:refactor-vectorandres-erbsen/stdlib:refactor-vectorCopy head branch name to clipboard