Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Even and odd numbers
Alternate definitions using the "divides" relation
Next ⟩
dfeven2
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 20.43.13.2. Alternate definitions using the "divides" relation
dfeven2
dfodd3
iseven2
isodd3
2dvdseven
m2even
2ndvdsodd
2dvdsoddp1
2dvdsoddm1