Mathlib v3 is deprecated. Go to Mathlib v4

Theorem integral_pair

Modification history

2020-09-27 00:33

src/measure_theory/set_integral.lean

feat(analysis/convex/integral): Jensen's inequality for integrals (#4225)

Added integral_pair View on Github →