Founded partial induction (#4290)

* remove dead theorems from trpred section * move founded partial induction to main * note founded partial induction theorems in changes-set.txt * fixed naming conventions and line indentation * rewrap * use more standard terminology * use standard terminology * rewrap
metamath · Oct 16, 2024 · d66ff3a · d66ff3a
1 parent 875b88e
commit d66ff3a
Show file tree

Hide file tree

Showing 2 changed files with 136 additions and 166 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