There are two kinds of theorems

(blog.plover.com) by surprisetalk | Aug 19, 2026 | 0 comments on HN