TY  - RPRT
TI  - The James construction and $π_4(\mathbb{S}^3)$ in homotopy type theory
AU  - Guillaume Brunerie
PY  - 2017
UR  - https://arxiv.org/abs/1710.10307
ID  - 1710.10307
ER  -