Torsion of products

This file proves that products of torsion-free monoids are torsion-free.

instance Pi.instIsMulTorsionFree {ι : Type u_1} {M : ι → Type u_2} [(i : ι) → Monoid (M i)] [∀ (i : ι), IsMulTorsionFree (M i)] : IsMulTorsionFree ((i : ι) → M i)

instance Pi.instIsAddTorsionFree {ι : Type u_1} {M : ι → Type u_2} [(i : ι) → AddMonoid (M i)] [∀ (i : ι), IsAddTorsionFree (M i)] : IsAddTorsionFree ((i : ι) → M i)