ThmDex – An index of mathematical definitions, results, and conjectures.
Result R2524 on D471: Independent collection of sigma-algebras
Independent sigma-algebra produces independent indicator functions