Mercurial > repo
changeset 8466:836a254d2791
<shachaf> sled wisdom/frame//s/However, f/F/
| author | HackBot |
|---|---|
| date | Mon, 13 Jun 2016 00:00:22 +0000 |
| parents | 10b72ad968b5 |
| children | 14d76a4877b8 |
| files | wisdom/frame |
| diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/wisdom/frame Sun Jun 12 11:45:27 2016 +0000 +++ b/wisdom/frame Mon Jun 13 00:00:22 2016 +0000 @@ -1,1 +1,1 @@ -A frame is just a complete Heyting algebra. However, frame homomorphisms don't preserve implication, if you know what I mean. +A frame is just a complete Heyting algebra. Frame homomorphisms don't preserve implication, if you know what I mean.