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
|
ed7de51d02
|
move basic lemmas from the spectral repository to the main repository
|
2017-06-02 12:15:31 -04:00 |
|
Floris van Doorn
|
5bb2c7859d
|
checkpoint for direct sum of graded modules
|
2017-04-10 20:34:49 -04:00 |
|
Floris van Doorn
|
dc2b905a7c
|
rename module to left_module
|
2017-03-30 18:33:33 -04:00 |
|
Jeremy Avigad
|
c0a301e141
|
fix left module namespace
|
2017-03-30 15:43:54 -04:00 |
|
Jeremy Avigad
|
41bc4b6673
|
chain complexes of modules
|
2017-03-10 11:51:24 -05:00 |
|