From ab3a4b75568aefbf2d6eff28b9998959a2efb43d Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Tue, 31 Oct 2023 20:16:15 +0100 Subject: [PATCH] lecture 06 --- inputs/lecture_06.tex | 1 + 1 file changed, 1 insertion(+) create mode 100644 inputs/lecture_06.tex diff --git a/inputs/lecture_06.tex b/inputs/lecture_06.tex new file mode 100644 index 0000000..1a52274 --- /dev/null +++ b/inputs/lecture_06.tex @@ -0,0 +1 @@ +\lecture{06}{}{AC and the well ordering theorem}