# HG changeset patch
# User HackBot
# Date 1465776358 0
# Node ID 14d76a4877b854ee4fd2556f96a8528819e847f6
# Parent  836a254d2791adfccd92c4a12999a4a93bf2257c
<shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.

diff -r 836a254d2791 -r 14d76a4877b8 wisdom/complete heyting algebra
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/complete heyting algebra	Mon Jun 13 00:05:58 2016 +0000
@@ -0,0 +1,1 @@
+A complete Heyting algebra is just a cartesian closed complete lattice.