Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fst_integral

Modification history

2020-09-27 00:33

src/measure_theory/set_integral.lean

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

Added fst_integral View on Github →