Show Universal Property master
authorJoachim Breitner <mail@joachim-breitner.de>
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Tue, 11 Sep 2012 15:19:58 +0000 (15:19 +0000)
commit01a207a19d31655ad07a975bc91e1a1b80be0fa8
treed92ad2983e865c069e21c1938616b8df0f386883
parent9298629f49c4ebcad88c48d075605b20d50044bc
Show Universal Property
FreeGroups.agda
Generators.agda
GroupHom.agda [new file with mode: 0644]
UnivProp.agda [new file with mode: 0644]