Transfer group with zero structures from α to Shrink α

instance instSemigroupWithZeroShrink {α : Type u_2} [Small.{v, u_2} α] [SemigroupWithZero α] : SemigroupWithZero (Shrink.{v, u_2} α)

instance instMulZeroClassShrink {α : Type u_2} [Small.{v, u_2} α] [MulZeroClass α] : MulZeroClass (Shrink.{v, u_2} α)

instance instMulZeroOneClassShrink {α : Type u_2} [Small.{v, u_2} α] [MulZeroOneClass α] : MulZeroOneClass (Shrink.{v, u_2} α)

instance instDistribMulActionShrink {M : Type u_1} {α : Type u_2} [Small.{v, u_2} α] [Monoid M] [AddCommMonoid α] [DistribMulAction M α] : DistribMulAction M (Shrink.{v, u_2} α)