ThmDex – An index of mathematical definitions, results, and conjectures.
Result R4549 on D4490: Set of stationary events
Subresult of R4471: Birkhoff's strong law of large numbers
Subresults
▶ R4550