ThmDex – An index of mathematical definitions, results, and conjectures.
P3443
$|f|$ is a function $X \to [0, \infty]$ so that this result is a consequence of R1237: Unsigned basic Borel function almost everywhere finite if integral is finite. $\square$