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}