Metamath Proof Explorer

Table of Contents - 5.6.4. Strong induction over upper sets of integers

1. uzsinds
2. nnsinds
3. nn0sinds