Let $X$, respectively $Y$, be a space endowed with the $\sigma$-additive complete measure $\mu_x$, respectively $\mu_y$.
If $f: X\times Y\to\mathbb{R}$ is $\mu_x\otimes\mu_y$-measurable$^1$ and Lebesgue summable in one variable, is its integral measurable in the other variable? I mean if, for example, $$\int_{Y}f(x,y)d\mu_y$$is $$x\mapsto\int_{Y}f(x,y)d\mu_y$$always a measurable function? If it is, how is it proved? I heartily thank any answerer.
If I correctly understand this argument, for which I thank PhoemueX, once proved for $f$ as a non-negative function, the more general case that my question covers would follow.
$^1$ Measurable according to the Lebesgue extension $\mu_x\otimes\mu_y$ (a complete measure) of the measure $\mu_x\times\mu_y$ defined by $(\mu_x\times\mu_y)(A\times B)=\mu_x(A)\mu_y(B)$ for the measurable sets $A\subset X$ and $B\subset Y$.