Pages that link to "Item:Q2319987"

The following pages link to The James construction and \(\pi _4(\mathbb{S}^{3})\) in homotopy type theory (Q2319987):

Displayed 3 items.

• On the James and Hilton-Milnor splittings, and the metastable EHP sequence (Q2235868) ‎ (← links)
• An introduction to univalent foundations for mathematicians (Q4684362) ‎ (← links)
• Formalization of the fundamental group in untyped set theory using auto2 (Q5915787) ‎ (← links)