[Merged by Bors] - feat(Probability/Independence/InfinitePi): rearrangement of infinite product measures#39503

jvanwinden wants to merge 7 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

jvanwinden:infinitePi_eval_mapjvanwinden/mathlib4:infinitePi_eval_mapCopy head branch name to clipboard