There are two kinds of theorems

(blog.plover.com) by mhb | Aug 13, 2026 | 0 comments on HN