Pages that link to "Item:Q2938036"
From MaRDI portal
The following pages link to π n (S n ) in Homotopy Type Theory (Q2938036):
Displaying 7 items.
- (Q4989403) (← links)
- (Q5114825) (← links)
- Modal Homotopy Type Theory (Q5213483) (← links)
- The Equivalence of the Torus and the Product of Two Circles in Homotopy Type Theory (Q5278189) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) (← links)
- Topological quantum gates in homotopy type theory (Q6584358) (← links)
