4 commits

Author	SHA1	Message	Date
Jeremy Avigad	6e2d8807f4	get everything to compile	2017-08-21 17:05:59 -04:00
Floris van Doorn	ee11b1cfb9	work of fiber of maps between EM-spaces	2017-08-02 23:06:16 +01:00
Floris van Doorn	7b3d1649fa	finish sufficient condition when infinity page of spectral sequence is contractible ... also refactor convergence a bit	2017-07-02 01:12:55 +01:00
Floris van Doorn	ed7de51d02	move basic lemmas from the spectral repository to the main repository	2017-06-02 12:15:31 -04:00