[trivial] formatting

Author: zwang123

set.mm

@@ -835548,7 +835548,6 @@ have GLB (expanded version).  (Contributed by Zhi Wang,
     upcic.m $e |- ( ph -> M e. ( Z J ( F ` X ) ) ) $.
     upcic.1 $e |- ( ph -> A. w e. B A. f e. ( Z J ( F ` w ) ) E! k e. ( X H w )
            f = ( ( ( X G w ) ` k ) ( <. Z , ( F ` X ) >. O ( F ` w ) ) M ) ) $.
-
     ${
       $d .x. p $.  $d B p w $.  $d D p $.  $d F f p k w $.  $d G f p k w $.
       $d H f p k w $.  $d J f p w $.  $d K p $.  $d L p $.  $d M f p k w $.