Video From 23w5124: Formalization of Cohomology Theories

Friday, May 26, 2023 09:30 - 10:30
Formalizations in set theory: challenges and opportunities

Download this video (61M)

Other videos from this workshop