Floris van Doorn
|
3367c20f9d
|
make pointed suspension and spheres the default
There is one proof in realprojective which I couldn't quite fix, so for now I left a sorry
|
2017-07-20 18:03:13 +01:00 |
|
Floris van Doorn
|
3f68115d25
|
move some files around, create folder cohomology
|
2017-07-17 13:58:36 +01:00 |
|
|
|
a78c92636e
|
Add Hptorus.
|
2017-06-09 15:48:37 -06:00 |
|
Yuri Sulyma
|
3fd6e8e852
|
Merge branch 'master' of github.com:fpvandoorn/Spectral
|
2017-06-08 14:04:58 -06:00 |
|
|
|
bf8f77a9e5
|
Add Hsphere.
|
2017-06-06 17:30:42 -06:00 |
|
|
|
dcf0327e98
|
Skeleton of homology groups of spheres.
|
2017-06-06 11:17:11 -06:00 |
|
