Talk page

Title:
On Finite Types That Are Not h-Sets

Speaker:
Sergey Melikhov

Link:
https://www.ias.edu/video/univalent/1213/0214-SergeyMelikhov