search

agda / cubical

An experimental library for Cubical Agda
https://agda.github.io/cubical/Cubical.README.html
Other
454 stars 139 forks source link

Cup product of klein bottle (Z coeffs) #915

Closed aljungstrom closed 2 years ago

aljungstrom commented 2 years ago

A small PR containing a lemma for @thomas-lamiaux about the cup product vanishing on H*(K^2)

mortberg commented 2 years ago

Thanks!