A comathematician
Inviato: 16 mar 2010, 00:35
Una terribile freddura da matematica-non-elementare:
A comathematician is a machine to turn cotheorems into ffee.
But where do you get cotheorems from? You deduce them from rollaries, of course.