Torsion-free rings

A characteristic zero domain is torsion-free.

instance instIsAddTorsionFreeOfIsDomainOfCharZero (R : Type u_1) [Semiring R] [IsDomain R] [CharZero R] : IsAddTorsionFree R