mathlib
3ba15165 - feat(analysis/convex/proj_Icc): Extending convex functions (#18797)

Commit
2 years ago
feat(analysis/convex/proj_Icc): Extending convex functions (#18797) Constantly extending monotone/antitone functions preserves their convexity.
Author
Parents
Loading