Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
primitive_notions_._wat [2015/12/17 19:53] nikolaj |
primitive_notions_._wat [2015/12/17 20:23] nikolaj |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| === Thoughts === | === Thoughts === | ||
| - | ... | + | Here's some necessary ingrediences |
| + | |||
| + | https://hott.github.io/book/nightly/hott-online-1005-ge9c58d7.pdf#441 | ||
