Commit 2022-10-12 07:21 59de3c16

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.