Even and odd numbers
Even and odd numbers

Definitions, alternate characterizations, basic properties and revised theorems already available in set.mm using the new definitions.

metamath/set.mm,metamath/set.mm,metamath/set.mm