Floris van Doorn
|
01e0d1897b
|
some cleanup
|
2015-12-10 21:17:29 -05:00 |
|
Floris van Doorn
|
3c9ca4b51c
|
working on tensor group
|
2015-12-10 20:25:32 -05:00 |
|
Floris van Doorn
|
492b433cc6
|
show that groups form a precategory (category todo)
|
2015-12-10 20:24:36 -05:00 |
|
Egbert Rijke
|
304bcc472a
|
homework accomplished
|
2015-12-10 18:37:30 -05:00 |
|
Egbert Rijke
|
fa25173a38
|
kernels
|
2015-12-10 16:36:10 -05:00 |
|
Steve Awodey
|
f4a8a679c6
|
tiny
tiny
|
2015-12-10 15:41:24 -05:00 |
|
Floris van Doorn
|
c1d1a5e509
|
There have been some changes in the algebra-part of Lean.
We now need to import algebra.bundled in group_theory.basic
|
2015-12-09 17:12:43 -05:00 |
|
Floris van Doorn
|
036d251d25
|
feat(constructions): add universal properties of free (abelian) groups
|
2015-11-23 13:43:26 -05:00 |
|
Floris van Doorn
|
96f74d8ea6
|
feat(group_theory): move files to subfolder, define free (abelian) group
|
2015-11-23 13:43:22 -05:00 |
|