Video From 23w5124: Formalization of Cohomology Theories

Monday, May 22, 2023 09:00 - 10:00
The path to the formalization of de Rham cohomology

Download this video (216M)

Other videos from this workshop