Shorten proof of ~simsa-mintu.

MostAwesomeDude · Jun 25, 2024 · 8a4db33 · 8a4db33
1 parent 8a36302
commit 8a4db33
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/mm/jbobau.mm b/mm/jbobau.mm
@@ -2402,8 +2402,8 @@
     $( {` simsa `} implies {` mintu `}.
        (Contributed by la korvo, 25-Jun-2024.) $)
     simsa-mintu $p |- ko'a mintu ko'e ko'i $=
-      ( sbckaji bb bgo sjo sje bge simsai tsb df-e bi ge-go df-o bi-rev minturi
-      tss ) ABCACEFZBCEFZGABHCEFTUAABICEFTUAJABCDKABCELZUBSZMNOABUCPQR $.
+      ( sbckaji tsb tss bb simsai ei ge-go ori minturi ) ABCABCEFZNGZACEHBCEHAB
+      OABCDIJKLM $.
 $}
 
 $(