ThmDex – An index of mathematical definitions, results, and conjectures.
Monotone convergence theorem for unsigned integral
Also known as
Lebesgue's monotone convergence theorem