Commit graph

5 commits

Author SHA1 Message Date
Floris van Doorn
02f5c54b77 cleanup, expand explanation 2018-11-13 19:36:35 -05:00
Floris van Doorn
2913de520d finish proving that the gysin sequence consists of the correct groups 2018-11-13 19:22:07 -05:00
Floris van Doorn
ea402f56ea finish first part of constructing gysin sequence
We have a long exact sequence, we still need to show that it consists of the correct groups
2018-11-12 18:07:05 -05:00
Floris van Doorn
b251465e72 continue on gysin sequence 2018-11-12 13:02:20 -05:00
Floris van Doorn
af447f4f8e start on gysin sequence 2018-11-12 13:02:20 -05:00