Library Coq.ring.Setoid_ring
Require
Export
Setoid_ring_theory
.
Require
Export
Quote
.
Require
Export
Setoid_ring_normalize
.