rewrap

metamath · Feb 22, 2025 · a16930a · a16930a
1 parent 5b83781
commit a16930a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -33804,7 +33804,7 @@ general is seen either by substitution (when the variable ` V ` has no
       syl3anc ) HKQZILQZJMQZUABUBUJUKDGMRZAGMRZFLREKRUJUKULBUCUJUKULBUDULUJBUMU
       KDBGJMPUEUFUNUMCGMREFHIKLESHTACGMNUGFSITCDGMOUGUHUI $.
   $}
-  
+
   ${
     $d A w x y z $.  $d B w y z $.  $d C w z $.  $d D w $.  $d R x $.
     $d S x y $.  $d T x y z $.  $d U w x y z $.  $d ch x $.  $d ps w $.