rewrap

avekens · Feb 23, 2024 · 1c9692e · 1c9692e
1 parent 980a47d
commit 1c9692e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -741946,7 +741946,7 @@ According to Wikipedia ("Endomorphism", 25-Jan-2024,
       WDTHVRVS $.
   $}
 
- ${
+  ${
     $d A x y $.  $d M x y $.  $d V x $.
     efmndtmd.g $e |- M = ( EndoFMnd ` A ) $.
     $( The monoid of endofunctions on a set ` A ` is a topological monoid.