Guillaume Brunerie: π₄(S³) in homotopy type theory, part II

Tid: On 2019-06-12 kl 10.00 - 11.45

Föreläsare: Guillaume Brunerie

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University

Abstract: This is a continuation of the seminar of May 29, logic.math.su.se/seminar/#2019-05-29

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-06-07