Talk page

Title:
Le principe d'univalence: le transfer du raisonnement à traver les equivalence

Speaker:
Benedikt Ahrens

Link:
https://www.youtube.com/watch?v=Fh-0d5f6uWE