Coq vector permutations
I think the issue was by ths following , I need to reason about vectors'
permutations in Coq. The standard library only includes permutation
definitions for lists. As my first attempt, I tried to mimic it for vectors
as: , I used these simple lemmas:
Date : November 22 2020, 03:01 PM , By : Jordan Herman