| .. |
|
degree.hlean
|
work on dependent smash and cup product on EM-spaces
|
2018-09-20 02:08:45 +02:00 |
|
dsmash.hlean
|
update after changes in Lean
|
2018-09-20 16:03:59 +02:00 |
|
EM.hlean
|
Change the definition of graded morphisms
|
2018-09-26 13:12:24 +02:00 |
|
EMRing.hlean
|
fix error with numerals in integers
|
2018-10-03 19:39:34 -04:00 |
|
fwedge.hlean
|
fix universe level for has_choice
|
2018-11-12 13:02:20 -05:00 |
|
join_theorem.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
|
pushout.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
|
realprojective.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
|
smash.hlean
|
work on dependent smash and cup product on EM-spaces
|
2018-09-20 02:08:45 +02:00 |
|
smash_adjoint.hlean
|
fixes and additions
|
2018-09-10 18:04:28 +02:00 |
|
spherical_fibrations.hlean
|
work on dependent smash and cup product on EM-spaces
|
2018-09-20 02:08:45 +02:00 |
|
susp.hlean
|
compute unreduced cohomology of spheres
|
2018-10-03 19:39:34 -04:00 |
|
susp_product.hlean
|
move some files around, create folder cohomology
|
2017-07-17 13:58:36 +01:00 |
|
susp_pset.hlean
|
no longer working on truncatedness of suspensions of pointed sets (: - still some clean-up to do
|
2018-10-26 16:51:42 +02:00 |
|
three_by_three.hlean
|
Prove basic properties of spectral sequences
|
2018-10-02 13:09:18 -04:00 |
|
wedge.hlean
|
fixes after changes in the library
|
2018-09-10 18:04:28 +02:00 |
