Replacing *OLD theorems
Replacing *OLD theorems

Replacing *OLD theorems using ( CCfld |`s ZZ ) by theorems using ZZring in proofs.
This almost always shortens the proofs.

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