michael/Spectral
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

add serre

Browse source
This commit is contained in:
Floris van Doorn 2017-05-25 13:46:23 -04:00
parent a7b746c813
commit d9c24316d8
1 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
algebra/serre.hlean Normal file
View file

@ -0,0 +1,11 @@
/- The serre spectral sequence -/
-- Author: Floris van Doorn
import .module_exact_couple
namespace left_module
end left_module