mathlib
fe6ea3ec - feat(analysis/convex/integral): strict Jensen's inequality (#11552)

Commit

3 years ago

feat(analysis/convex/integral): strict Jensen's inequality (#11552)

Author

urkud

urkud

Parents

Loading