2 commits

Author	SHA1	Message	Date
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)