Egbert Rijke d9648cd2b7 trying to split the file of group constructions into a part that's not about any constructions, and a part that is. The file became huge		2016-09-08 11:32:36 -04:00
..
graded.hlean	initiating graded.hlean	2016-03-24 14:24:47 -04:00
group_basics.hlean	trying to split the file of group constructions into a part that's not about any constructions, and a part that is. The file became huge	2016-09-08 11:32:36 -04:00
group_constructions.hlean	kernels were already defined later. I moved them	2016-09-07 23:05:49 -04:00
module.hlean	initiating algebra folder	2016-03-24 14:19:06 -04:00