5 commits

Author	SHA1	Message	Date
Floris van Doorn	65e6e062be	let group_constructions import group_basics	2016-09-14 17:07:09 -04:00
Egbert Rijke	ff99c2113a	kernels were already defined later. I moved them	2016-09-07 23:05:49 -04:00
Egbert Rijke	9f4436d505	some comments on the file on group_constructions	2016-09-07 22:43:50 -04:00
Egbert Rijke	4524af4ddc	image of homomorphism is subgroup	2016-05-12 16:57:33 -04:00
Floris van Doorn	ba7b25d00f	move files to the HoTT library and update after changes in the HoTT library	2016-04-25 19:51:17 -04:00

Renamed from group_theory/constructions.hlean (Browse further)