Metamath Proof Explorer


Table of Contents - 20.4.19. Well-founded recursion, part 3 of 3

  1. bnj1522