ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4742 on D2796: Indicator random boolean number
Probability calculus expression for tail probability of truncated random unsigned basic real number