jensen): Maximum modulus principle for finsets (#17091)

Commit

3 years ago

feat(analysis/convex/jensen): Maximum modulus principle for finsets (#17091) A convex function on the convex hull of a finset is bounded by its supremum on the finset.

Author

YaelDillies

Parents

6a5a6494

mathlib3 bfad3f45 - feat(analysis/convex/jensen): Maximum modulus principle for finsets (#17091)

mathlib3
bfad3f45 - feat(analysis/convex/jensen): Maximum modulus principle for finsets (#17091)