mathlib

2a8a01bc - chore(measure_theory/integral/bochner): use set_to_fun lemmas to prove integral properties (#10717)