Transfer ring structures from α to Shrink α.

instance instNonUnitalNonAssocSemiringShrink {α : Type u_1} [NonUnitalNonAssocSemiring α] [Small.{u_2, u_1} α] : NonUnitalNonAssocSemiring (Shrink α)

instance instNonUnitalSemiringShrink {α : Type u_1} [NonUnitalSemiring α] [Small.{u_2, u_1} α] : NonUnitalSemiring (Shrink α)

instance instAddMonoidWithOneShrink {α : Type u_1} [AddMonoidWithOne α] [Small.{u_2, u_1} α] : AddMonoidWithOne (Shrink α)

instance instAddGroupWithOneShrink {α : Type u_1} [AddGroupWithOne α] [Small.{u_2, u_1} α] : AddGroupWithOne (Shrink α)

instance instNonAssocSemiringShrink {α : Type u_1} [NonAssocSemiring α] [Small.{u_2, u_1} α] : NonAssocSemiring (Shrink α)

instance instSemiringShrink {α : Type u_1} [Semiring α] [Small.{u_2, u_1} α] : Semiring (Shrink α)

instance instNonUnitalCommSemiringShrink {α : Type u_1} [NonUnitalCommSemiring α] [Small.{u_2, u_1} α] : NonUnitalCommSemiring (Shrink α)

instance instCommSemiringShrink {α : Type u_1} [CommSemiring α] [Small.{u_2, u_1} α] : CommSemiring (Shrink α)

instance instNonUnitalNonAssocRingShrink {α : Type u_1} [NonUnitalNonAssocRing α] [Small.{u_2, u_1} α] : NonUnitalNonAssocRing (Shrink α)

instance instNonUnitalRingShrink {α : Type u_1} [NonUnitalRing α] [Small.{u_2, u_1} α] : NonUnitalRing (Shrink α)

instance instRingShrink {α : Type u_1} [Ring α] [Small.{u_2, u_1} α] : Ring (Shrink α)

instance instNonUnitalCommRingShrink {α : Type u_1} [NonUnitalCommRing α] [Small.{u_2, u_1} α] : NonUnitalCommRing (Shrink α)

instance instCommRingShrink {α : Type u_1} [CommRing α] [Small.{u_2, u_1} α] : CommRing (Shrink α)

instance instNontrivialShrink {α : Type u_1} [Nontrivial α] [Small.{u_2, u_1} α] : Nontrivial (Shrink α)

instance instDivisionRingShrink {α : Type u_1} [DivisionRing α] [Small.{u_2, u_1} α] : DivisionRing (Shrink α)

instance instFieldShrink {α : Type u_1} [Field α] [Small.{u_2, u_1} α] : Field (Shrink α)