Talk page

Title:
The Hopf Fibration via Higher Inductive Types

Speaker:
Peter Lumsdaine

Link:
https://www.ias.edu/video/univalent/1213/0213-PeterLumsdaine