|
|
|
|
|
|
by practal
24 days ago
|
|
|
> Even more important than lemmas are observations, but that is another story. In my book about abstraction logic (http://abstractionlogic.com) I have definitions, theorems, lemmas, and even observations :-) Just did a count of the frequency. Of course, not sure what those frequencies say about the relative importance. ----------- Definitions 78 Theorems 20 Lemmas 76 Observations 41 |
|
|