There are two kinds of theorems

(blog.plover.com) by ColinWright | Aug 20, 2026 | 0 comments on HN