H*(RP2\/S1, Z/2) - Githubissues

agda / cubical

An experimental library for Cubical Agda

https://agda.github.io/cubical/Cubical.README.html

Other

454 stars 139 forks source link

H*(RP2\/S1, Z/2) #934

Closed thomas-lamiaux closed 2 years ago