done 6.1

2023-11-07 17:33:57 +00:00 · 2023-11-07 17:33:57 +00:00 · 0450cf7c19
commit 0450cf7c19
parent 0a7061f2e7
1 changed files with 1 additions and 1 deletions
--- a/cw/cw.tex
+++ b/cw/cw.tex
@ -135,7 +135,7 @@
 	This q pairs work because when the oracle selects b=0:

 	There will be no colisions:
-	$$\forall i,k \nexists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$
+	$$\nexists i,k : i \ne j \land P_{0i} \ne p E_{0i} \implies E_{0i} \ne E_{0j}$$
 	there if you don't find any colissions you can assume that the the oracle selected b=0

 	if the oracle selects b=1: