ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3558 on D1159: Probability space
Probability of level sets for random basic number