Merge branch 'develop' into thin-cat-3

metamath · Oct 16, 2024 · 91a6a98 · 91a6a98
2 parents d656a1e + 756f7f0
commit 91a6a98
Show file tree

Hide file tree

Showing 4 changed files with 553 additions and 277 deletions.
diff --git a/changes-set.txt b/changes-set.txt
@@ -95,6 +95,8 @@ make a github issue.)
 
 DONE:
 Date      Old       New         Notes
+15-Oct-24 ---       ---         well-founded induction theorems moved
+                                from SF's mathbox to main set.mm
 12-Oct-24 syl5rbb   bitr2id     compare to bitr2i or bitr2d
 10-Oct-24 syl5reqr  eqtr3di     order of hypotheses is switched
 30-Sep-24 syl5req   eqtr2id     compare to eqtr2i or eqtr2d