H*(RP²∨S¹,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*(RP²∨S¹,Z/2) #936

Closed aljungstrom closed 2 years ago