Mercurial > repo

view wisdom/complete heyting algebra @ 9401:7ad94f9b88a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Zarutian> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
author HackBot
date Sat, 22 Oct 2016 21:56:49 +0000
parents 14d76a4877b8
children
line wrap: on
line source

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