First draft of wedge equiv
In progress ...
stuff
stuff
Outline change of base lemmas
merge eric branch