Floris van Doorn 492b433cc6 show that groups form a precategory (category todo)		2015-12-10 20:24:36 -05:00
..
basic.hlean	show that groups form a precategory (category todo)	2015-12-10 20:24:36 -05:00
constructions.hlean	homework accomplished	2015-12-10 18:37:30 -05:00