Commit 2025-10-17 16:01 799e512b

chore(Algebra/Group/EvenFunction): don't import torsion-free modules (#30628) All we need here is torsion-free groups. As a prerequisite, restate neg_eq_zero and friends for torsion-free groups. They were stated for torsion-free R-modules where R has char zero, but any such module is a torsion-free group, so this was fake generality.