feat(Finsupp): single a (m₁ + m₂) b = single a m₁ b + single a m₂ b (#27191) From Toric
single a (m₁ + m₂) b = single a m₁ b + single a m₂ b