Egbert Rijke 9f4436d505 some comments on the file on group_constructions		2016-09-07 22:43:50 -04:00
..
graded.hlean	initiating graded.hlean	2016-03-24 14:24:47 -04:00
group_constructions.hlean	some comments on the file on group_constructions	2016-09-07 22:43:50 -04:00
module.hlean	initiating algebra folder	2016-03-24 14:19:06 -04:00