Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Ordering and induction lemmas for the integers
Next ⟩
monotuz
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 20.31.27. Ordering and induction lemmas for the integers
monotuz
monotoddzzfi
monotoddzz
oddcomabszz
2nn0ind
zindbi