From c34b47089a133e58032fe4ea52f61efacaf5f548 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sun, 4 Dec 2022 22:49:17 +0100
Subject: Oops

---
 cyn/n8.lyx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cyn/n8.lyx')

diff --git a/cyn/n8.lyx b/cyn/n8.lyx
index b4589b3..1249714 100644
--- a/cyn/n8.lyx
+++ b/cyn/n8.lyx
@@ -453,7 +453,7 @@ divisor
 \end_layout
 
 \begin_layout Enumerate
-\begin_inset Formula $A|B\land B|A\implies\exists\mu\in K\backslash\{0\}\mid A=\mu B$
+\begin_inset Formula $A|B\land B|A\implies\exists\mu\in K\backslash\{0\}:A=\mu B$
 \end_inset
 
 .
-- 
cgit v1.2.3