Adding a definition for the ring of integers
Adding a definition for the ring of integers

ZZRing is used as abbreviation for ( CCfld |`s ZZ ) .
Still used occurences of ( CCfld |`s ZZ ) will be replaced by ` ZZRing ` in the near future.

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