Update changes-set.txt

Co-authored-by: Benoit <[email protected]>
metamath · Feb 15, 2025 · eec5cf8 · eec5cf8
1 parent 52a099d
commit eec5cf8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/changes-set.txt b/changes-set.txt
@@ -92,7 +92,7 @@ Date      Old       New         Notes
 15-Feb-25 abeq2d    eqabd
 15-Feb-25 abeq2w    eqabw
 15-Feb-25 abeq1     eqabc       Commuted form of eqab
-15-Feb-25 abeq2     eqab        Basic tautological form
+15-Feb-25 abeq2     eqab        Basic closed form
 10-Feb-25 ---       ---         Moved surreal addition theorems
                                 from SF's mathbox to main set.mm
 10-Feb-25 onunel    ---         Moved from SF's mathbox to main set.mm