Talk page

Title:
$pi_2(s^2)$ in HoTT

Speaker:
Guillaume Brunerie

Link:
https://www.ias.edu/video/univalent/1213/0220-GuillaumeBrunerie