Metamath Proof Explorer

Table of Contents - 2.3.12. Well-founded induction (variant)

  1. frpomin
  2. frpomin2
  3. frpoind
  4. frpoinsg
  5. frpoins2fg
  6. frpoins2g
  7. frpoins3g