Viewing profile — HenryOakley
HenryOakley
HN member- Joined
- Sun, May 28, 2023, 9:19 AM UTC
- HN karma
- 3
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About HenryOakley
No profile information was provided.
Recent public activity
-
comment
Comment #36102447
I had to look at theorem 2.1 to verify you had blatantly mistyped the theorem itself. Was that just to mess with us? :)