[Merged by Bors] - chore: cleanup Integral file#39652

sgouezel wants to merge 5 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

sgouezel:SG_cleanupIntegralsgouezel/mathlib4:SG_cleanupIntegralCopy head branch name to clipboard