fix rewrap

metamath · Nov 27, 2024 · 6d1d349 · 6d1d349
1 parent 005e76a
commit 6d1d349
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -86142,7 +86142,7 @@ general ordinal versions of these theorems (in this case ~ oa0r ) so
     WFGWSVTWGVTWGIDWFVSGUDZWTPWSUEPUGWSVQWKWDDWFVLUHUFTVEVLVSWFAMERSBMERSCMERSD
     MERSUIUJ $.
 
- ${
+  ${
     $d A x y $.  $d B x y $.
     $( Finite ordinal subtraction cancels on the left.  (Contributed by Scott
        Fenton, 17-Oct-2024.) $)