Also, an alternative, reverse, induction principle is added, that breaks down a vector into
snoc xs x for its inductive case. Effectively doing induction from right-to-left
Simplification lemmas #
Reverse induction principle #
This can be used as
induction v using Vector.revInductionOn.
C v by reverse case analysis, i.e. by handling the cases