Lemma 1.5.2. Assuming that:

$H$ a Heyting algebra

Then the map

\neg \neg : H \to H

preserves

\land

and

\Rightarrow

.