11 commits

Author	SHA1	Message	Date
Floris van Doorn	48cf8a5f31	typo in converging_spectral_sequence	2018-09-26 20:07:01 +02:00
Floris van Doorn	acae548d3a	some cleanup, and add a todo list	2018-09-26 19:53:23 +02:00
Floris van Doorn	f9ce395b1c	reindex the AHSS and SSS ... Now the 2nd page is the correct indexing.	2018-09-26 13:12:33 +02:00
Floris van Doorn	4d3053daff	Change the definition of graded morphisms ... Now we require them to be automorphisms which are equal to \g, g + d(0)	2018-09-26 13:12:24 +02:00
Floris van Doorn	e4db64ae9a	fixes after changes in the library	2018-09-10 18:04:28 +02:00
Floris van Doorn	d2c7eb2368	generalize the spectral sequence of a sequence of spectrum maps	2018-09-07 11:55:24 +02:00
Floris van Doorn	12a9345df1	Restructure spectral sequences, compute cohomology of projective space ... This is still work in progress. Spectral sequences should be more usable, and probably the degrees of graded maps should be group homomorphisms so that we can reindex spectral sequences.	2017-11-22 16:14:07 -05:00
Floris van Doorn	f8157068e4	derive the unparametrized serre spectral sequence	2017-09-15 20:40:42 -04:00
Jeremy Avigad	6e2d8807f4	get everything to compile	2017-08-21 17:05:59 -04:00
Floris van Doorn	ead933e0a9	move spectrum files to separate directory	2017-07-17 15:54:05 +01:00
Floris van Doorn	73abecaa89	rename some files, update README	2017-07-04 16:11:21 +01:00

Renamed from algebra/module_exact_couple.hlean (Browse further)