ArithRing/
NArithRing/
Quote/
Ring/
Ring_abstract/
Ring_normalize/
Ring_theory/
Setoid_ring_normalize/
Setoid_ring_theory/
ZArithRing/