mathlib

59de3c16 - refactor(measure_theory/group/prod): rename the variables (#16707)

refactor(measure_theory/group/prod): rename the variables (#16707) * We don't usually use `E` and `F` as set variables. Especially if we want to talk about the Bochner integral in this file, it is convenient to call the codomain `E`.