Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
foundational_temp4 [2016/04/07 17:28] nikolaj |
foundational_temp4 [2016/04/07 17:30] nikolaj |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== Foundational temp4 ===== | ===== Foundational temp4 ===== | ||
| - | | [[]] $\succ$ $\succ$ [[]] | | + | | [[Foundational temp3]] $\succ$ $\succ$ [[Foundational temp formal power series ]] | |
| ==== Guide ==== | ==== Guide ==== | ||
| |[[Locally small category]]| | |[[Locally small category]]| | ||
