| .. |
|
arrow_group.hlean
|
compute unreduced cohomology of spheres
|
2018-10-03 19:39:34 -04:00 |
|
cogroup.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
|
direct_sum.hlean
|
fix free_abelian_group and direct_sum
|
2018-11-02 13:39:40 +01:00 |
|
exact_couple.hlean
|
some more algebra
|
2018-11-12 13:02:20 -05:00 |
|
exact_couple_old.hlean
|
Prove basic properties of spectral sequences
|
2018-10-02 13:09:18 -04:00 |
|
exactness.hlean
|
some more algebra
|
2018-11-12 13:02:20 -05:00 |
|
free_abelian_group.hlean
|
fix free_abelian_group and direct_sum
|
2018-11-02 13:39:40 +01:00 |
|
free_group.hlean
|
fix free_abelian_group and direct_sum
|
2018-11-02 13:39:40 +01:00 |
|
graded.hlean
|
finish first part of constructing gysin sequence
|
2018-11-12 18:07:05 -05:00 |
|
left_module.hlean
|
finish first part of constructing gysin sequence
|
2018-11-12 18:07:05 -05:00 |
|
module_chain_complex.hlean
|
finish proving that the gysin sequence consists of the correct groups
|
2018-11-13 19:22:07 -05:00 |
|
product_group.hlean
|
compute unreduced cohomology of spheres
|
2018-10-03 19:39:34 -04:00 |
|
quotient_group.hlean
|
some more algebra
|
2018-11-12 13:02:20 -05:00 |
|
ring.hlean
|
fix error with numerals in integers
|
2018-10-03 19:39:34 -04:00 |
|
seq_colim.hlean
|
rename some files, update README
|
2017-07-04 16:11:21 +01:00 |
|
ses.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
|
short_five.hlean
|
fixed
|
2017-06-30 13:21:49 +01:00 |
|
spectral_sequence.hlean
|
finish proving that the gysin sequence consists of the correct groups
|
2018-11-13 19:22:07 -05:00 |
|
splice.hlean
|
reorganize some files in the library. In particular, split up spectrum
|
2017-07-17 15:39:49 +01:00 |
|
subgroup.hlean
|
continue on gysin sequence
|
2018-11-12 13:02:20 -05:00 |
|
submodule.hlean
|
finish proving that the gysin sequence consists of the correct groups
|
2018-11-13 19:22:07 -05:00 |
|
tensor.hlean
|
rename some files, update README
|
2017-07-04 16:11:21 +01:00 |
