Redirecting to External Site

You will now be redirected to https://video.ias.edu/univalent/1213/0220-GuillaumeBrunerie to view video $pi_2(s^2)$ in HoTT.