WL's review remark

avekens · Jan 4, 2025 · 36cd995 · 36cd995
1 parent 67e3170
commit 36cd995
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/set.mm b/set.mm
@@ -80750,7 +80750,7 @@ currently used conventions for such cases (see ~ cbvmpox , ~ ovmpox and
       ( wrel wf1 wfo wa ccnv ctpos wf1o tposf12 tposfo2 anim12d df-f1o 3imtr4g
       ) ADZABCEZABCFZGAHZBCIZEZSBTFZGABCJSBTJPQUARUBABCKABCLMABCNSBTNO $.
 
-    $( The domain and codomain of a transposition.  (Contributed by NM,
+    $( The domain and codomain/range of a transposition.  (Contributed by NM,
        10-Sep-2015.) $)
     tposfo $p |- ( F : ( A X. B ) -onto-> C ->
               tpos F : ( B X. A ) -onto-> C ) $=