From 79aeee590bbd5b0dcfcf1827c24b9e14c4525e9d Mon Sep 17 00:00:00 2001
From: Josia Pietsch <git@jrpie.de>
Date: Fri, 24 Nov 2023 19:58:19 +0100
Subject: [PATCH] fixed typo

---
 inputs/lecture_12.tex | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/inputs/lecture_12.tex b/inputs/lecture_12.tex
index be9c892..7ebb1cb 100644
--- a/inputs/lecture_12.tex
+++ b/inputs/lecture_12.tex
@@ -143,9 +143,8 @@ For the proof we need some prerequisites:
             a &: x \in A,\\
             b &: x \not\in A,\\
         \end{cases}
-        where $a \in \IF$ and $b \not\in \IF$
-        are chosen arbitrarily.
     \end{IEEEeqnarray*}
+    where $a \in \IF$ and $b \not\in \IF$ are chosen arbitrarily.
 \end{proof}
 
 \subsection{Linear Orders}