# Commit 2023-08-02 13:20 3ba15165

View on Github →feat(analysis/convex/proj_Icc): Extending convex functions (#18797) Constantly extending monotone/antitone functions preserves their convexity.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(analysis/convex/proj_Icc): Extending convex functions (#18797) Constantly extending monotone/antitone functions preserves their convexity.