Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jonathan Ben-Naim
Well-founded recursion, part 3 of 3

Next ⟩ bnj1522

Metamath Proof Explorer

Ascii
Unicode

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

bnj1522