Mercurial > repo

view wisdom/complete heyting algebra @ 9994:d8734db325b9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<hppavilion[1]> le/rn Rogue One//Any regular who gives the slightest Rogue One spoiler shall be hunted down in real life and have their intestines removed through their eye sockets. Members would not be exempt if they existed, which they don\'t.
author HackBot
date Sat, 17 Dec 2016 23:40:13 +0000
parents 14d76a4877b8
children
line wrap: on
line source

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