12 lines
134 B
Text
12 lines
134 B
Text
|
/- The serre spectral sequence -/
|
||
|
|
|
||
|
|
-- Author: Floris van Doorn
|
||
|
|
|
||
|
|
import .module_exact_couple
|
||
|
|
|
||
|
|
namespace left_module
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
end left_module
|