Metamath Proof Explorer


Table of Contents - 20.4.16. Well-founded induction

  1. bnj1204
  2. bnj1234
  3. bnj1245
  4. bnj1256
  5. bnj1259
  6. bnj1253
  7. bnj1279
  8. bnj1286
  9. bnj1280
  10. bnj1296
  11. bnj1309
  12. bnj1307
  13. bnj1311
  14. bnj1318
  15. bnj1326
  16. bnj1321
  17. bnj1364
  18. bnj1371
  19. bnj1373
  20. bnj1374
  21. bnj1384
  22. bnj1388
  23. bnj1398
  24. bnj1413
  25. bnj1408
  26. bnj1414
  27. bnj1415
  28. bnj1416
  29. bnj1418
  30. bnj1417
  31. bnj1421
  32. bnj1444
  33. bnj1445
  34. bnj1446
  35. bnj1447
  36. bnj1448
  37. bnj1449
  38. bnj1442
  39. bnj1450
  40. bnj1423
  41. bnj1452
  42. bnj1466
  43. bnj1467
  44. bnj1463
  45. bnj1489
  46. bnj1491
  47. bnj1312
  48. bnj1493
  49. bnj1497
  50. bnj1498