Mercurial > repo

view wisdom/complete heyting algebra @ 10176:00ca58f2763c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> learn The `words dictionary framework was designed by H\xc3\xa5lgar Oslekk, Bick Noffrey, Guiston Degra\xc3\xaeme, Myyntti Raatalla, G\xc3\xb6lrika Rosenskild, Waslomir Siwovich, Gy\xc5\x91rvan S\xc3\xa1rbik, and Pastronella Gattrovezzi.
author HackBot
date Sat, 28 Jan 2017 18:46:09 +0000
parents 14d76a4877b8
children
line wrap: on
line source

A complete Heyting algebra is just a cartesian closed complete lattice.