Vectors: Equivalence of definitions
due by Monday, Mar 20, 2023
Before doing this assignment you will need to pull from the upstream repository, i.e., the course repository. Please complete the definitions/proofs in the file PnP2023/Labs/Lab04/VecVector.lean
. When you are done please commit and push your changes to your forked private repository and alert me on Zulip.

Complete the definition of
Vec.ofVector
. 
Complete the definition of
Vec.toVector
. 
Complete the proof of
Vec.ofVector.toVector
. 
Complete the proof of
Vec.toVector.ofVector
.