Talk page

Title:
The fourth homotopy group of the three-dimensional sphere

Speaker:
Guillaume Brunerie

Link:
https://video-archive.fields.utoronto.ca/view/5042

Workshop:
Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics