def coeff_mul(self, coeff):
        coeff = sympify(coeff)
        formula = self.formula * coeff
        return SeqFormula(formula, self.args[1])
See docstring of SeqBase.coeff_mul
dataset/ETHPy150Open sympy/sympy/sympy/series/sequences.py/SeqFormula.coeff_mul