mathlib3
5808afcb - feat(analysis/mean_inequalities): Holder and Minkowski inequalities (#3025)

Commit

5 years ago

feat(analysis/mean_inequalities): Holder and Minkowski inequalities (#3025) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

urkud

Parents