ThmDex – An index of mathematical definitions, results, and conjectures.

Result R1237 on D1747: Unsigned basic integral
Subresult of R2803: Basic Borel function almost everywhere finite if integral is finite

Unsigned basic Borel function almost everywhere finite if integral is finite

Also known as

Finiteness of unsigned basic integral