Mercurial > repo
view wisdom/virgil @ 8467:14d76a4877b8
<shachaf> le/rn complete heyting algebra/A complete Heyting algebra is just a cartesian closed complete lattice.
author | HackBot |
---|---|
date | Mon, 13 Jun 2016 00:05:58 +0000 |
parents | 057ddba56df0 |
children |
line wrap: on
line source
Virgil is a prayer at dawn, as well as an ancient Italian poet who led Dante to hell so they can ask the blind transgendered seer Anchises stupid politics questions concerning contemporary noble families.