Proof of binrel_le_transitivity

Last modified February 4th, 1995

Paul Jackson / jackson@cs.cornell.edu