Database
REAL AND COMPLEX NUMBERS
Elementary integer functions
Strong induction over upper sets of integers
Next ⟩
uzsinds
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 5.6.4. Strong induction over upper sets of integers
uzsinds
nnsinds
nn0sinds