Equiv bool equiv

Some people in my reading group wanted to see 1.14, so I did it in Coq.