Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
entry_structure [2015/03/13 21:15] nikolaj |
entry_structure [2015/03/13 21:16] nikolaj |
||
---|---|---|---|
Line 9: | Line 9: | ||
^ ^ | ^ ^ | ||
| Elaboration | | | Elaboration | | ||
- | | Universal property | | ||
| Alternative definitions | | | Alternative definitions | | ||
+ | | Universal property | | ||
| Discussion | | | Discussion | | ||
| Theorems | | | Theorems | |