Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
predicate_library [2014/10/25 14:24] nikolaj |
predicate_library [2014/10/25 16:49] nikolaj |
||
---|---|---|---|
Line 10: | Line 10: | ||
| ... | ... | | | ... | ... | | ||
| category | [[Category theory]] | | | category | [[Category theory]] | | ||
- | | compact | [[Topological space]] | | ||
| ... | ... | | | ... | ... | | ||
| ... | ... | | | ... | ... | |