feat: integral of EReal-valued functions#41549

gaetanserre wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

gaetanserre:e_integralgaetanserre/mathlib4:e_integralCopy head branch name to clipboard