6 commits

Author	SHA1	Message	Date
Josia Pietsch	458dd9ab1f	fixed some typesetting problems	2024-02-09 20:23:05 +01:00
Josia Pietsch	9d601c2e62	12.1, 12.2	2024-02-06 22:13:34 +01:00
Josia Pietsch	5b34fb34d1	countable well-orders	2024-02-06 20:25:05 +01:00
Josia Pietsch	a4ac283146	some changes on lectures 14 / 15	2024-02-02 01:48:02 +01:00
Josia Pietsch	324dddda04	Sheet 9, exercise 4	2024-01-06 19:04:51 +01:00
Josia Pietsch	99ca39e52c	lecture 18, 19	2024-01-04 19:26:34 +01:00