ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4889 on D1748: Signed basic integral
Basic random variable almost surely finite if expectation finite