Show Universal Property
-rw-r--r-- 5694 FreeGroups.agda
-rw-r--r-- 5647 Generators.agda
-rw-r--r-- 1345 GroupHom.agda
-rw-r--r-- 2843 NormalForm.agda
-rw-r--r-- 4942 UnivProp.agda