Library Coq.ring.Setoid_ring



Require Export Setoid_ring_theory.
Require Export Quote.
Require Export Setoid_ring_normalize.