4 ms·
It's from https://hott.github.io/book/nightly/hott-online-1174-g29279f5.pdf#page=23 https://hott.github.io/book/nightly/hott-online-1174-g29279f...
by hiker 8y ago
It's from https://hott.github.io/book/nightly/hott-online-1174-g29279f5.pdf#page=23 https://hott.github.io/book/nightly/hott-online-1174-g29279f...
- arto 8y agoThanks!