\begin{array}{l} \text { Exercise 129. Let } L \text { be a Heyting lattice and let } a, b \in L \text { . For any } x \in L

\text { , }\\ \text { prove that } a \rightarrow b=\bigvee\{x \in L: a \wedge x \leq b\} . \end{array}