Library Stdlib.setoid_ring.Ring_base

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