Egbert Rijke
|
3bd66e60a4
|
separate ses from exact_couple
|
2017-02-16 23:00:55 -05:00 |
|
Egbert Rijke
|
159ea323ab
|
SES_hom extension lemma
|
2017-02-16 22:26:06 -05:00 |
|
Steve Awodey
|
2aaea21e2a
|
tiny change
|
2017-02-16 21:10:44 -05:00 |
|
Egbert Rijke
|
e3f1d64330
|
useless commit
|
2017-02-08 12:26:23 -05:00 |
|
Egbert Rijke
|
cde8333151
|
short exact sequences
|
2017-01-26 17:44:37 -05:00 |
|
Egbert Rijke
|
af70424d60
|
work on SES
|
2017-01-26 16:55:59 -05:00 |
|
Floris van Doorn
|
b08457c77f
|
move things to the Lean library, and update after changes in the Lean library
|
2016-11-24 00:11:55 -05:00 |
|
Steve Awodey
|
e87c235e24
|
WIP on exact couple and basic group theory
|
2016-11-10 16:49:09 -05:00 |
|
Egbert Rijke
|
81e6c07f23
|
progress on derived exact couples
|
2016-11-03 16:42:12 -04:00 |
|
Egbert Rijke
|
1b09aee650
|
initiating exact couples
|
2016-10-20 16:23:55 -04:00 |
|