Theorems for free! (1989)

1 points by hwayne


hwayne

Did several searches and wasn't able to find if this was submitted to lobsters before. I'm surprised!