查看原题
设 $f(x)=\int_0^x \sin (x-t) e^{-t} d t$ ，求 $f^{\prime}(x)$
                        
不再提醒