Library Stdlib.setoid_ring.Ring_base



From Stdlib Require Export Ring_theory.
From Stdlib Require Export Ring_tac.
From Stdlib Require Import InitialRing.