formatting

avekens · Oct 28, 2023 · 2177053 · 2177053
1 parent 8d5d0ec
commit 2177053
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -506666,7 +506666,7 @@ codes is an increasing chain (with respect to inclusion).  (Contributed
      and the binary relation ` E ` on ` M ` .  (Contributed by AV,
      28-Oct-2023.) $)
   satff $p |- ( ( M e. V /\ E e. W /\ N e. _om )
-                -> ( ( M Sat E ) ` N  ) : ( Fmla ` N ) --> ~P ( M ^m _om ) ) $=
+                -> ( ( M Sat E ) ` N ) : ( Fmla ` N ) --> ~P ( M ^m _om ) ) $=
     ( wcel com w3a csat co cfv cfmla wfn crn cmap cpw wss wf wfun sylanbrc wceq
     cdm satffun satfdmfmla df-fn satfrnmapom df-f ) BDFAEFCGFHZCBAIJKZCLKZMZUIN
     BGOJPZQUJULUIRUHUISUIUBUJUAUKABCDEUCABCDEUDUIUJUETABCDEUFUJULUIUGT $.