[Merged by Bors] - chore(Algebra): replace NoZeroSMulDivisors with Module.IsTorsionFree wlog
#30563
Loading
NoZeroSMulDivisors with Module.IsTorsionFree wlog
#30563