ThmDex – An index of mathematical definitions, results, and conjectures.
Result R3893 on D3357: Identically distributed random collection
Stationary random collection is identically distributed