Show that \\( \textbf{Bool} = ( \mathbb{B} , \le, true, \wedge ) \\) is monoidal closed.

[Previous](https://forum.azimuthproject.org/discussion/2212)
[Next](https://forum.azimuthproject.org/discussion/2115)