Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
adding reference * [[Tom de Jong]], [[Nicolai Kraus]], [[Fredrik Nordvall Forsberg]], [[Chuangjie Xu]], *Ordinal Exponentiation in Homotopy Type Theory* ([arXiv:2501.14542](https://arxiv.org/abs/2501.14542)) Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/Fredrik+Forsberg/5">diff</a>, <a href="https://ncatlab.org/nlab/revision/Fredrik+Forsberg/5">v5</a>, <a href="https://ncatlab.org/nlab/show/Fredrik+Forsberg">current</a>
adding reference
Anonymouse
diff, v5, current