Leon Vatthauer 366f03a8b0 minor		2024-05-06 16:24:49 +02:00
..
G-Set.agda	minor	2024-05-06 16:24:49 +02:00
Group.agda	Implement homework	2024-05-05 14:43:35 +02:00