rewrap (2)

set.mm

@@ -85790,8 +85790,8 @@ set of all the singletons of (proper) ordered pairs over the elements of
       df-nel impbid2 ) ADEAFGHZBIEZABCJKCLZIEZABCIMUBUCUEUBBINZUDINZUCOUEOUBUFU
       GABCDPQBITUDITRSUA $.
 
-    $( The class of all functions from a class ` A ` into a class ` B ` is
-       a set iff ` B ` is a set .  (Contributed by AV, 15-Sep-2024.) $)
+    $( The class of all functions from a class ` A ` into a class ` B ` is a
+       set iff ` B ` is a set .  (Contributed by AV, 15-Sep-2024.) $)
     fsetexb $p |-  ( { f | f : A --> B } e. _V
                      <-> ( A e/ _V \/ A = (/) \/ B e. _V ) ) $=
       ( cv wf cab cvv wcel wnel c0 w3o wo wn wa ioran df-nel wne sylbi eqeltrdi