Theorem convexOn_rpow_left

Modification history

2025-10-23 22:33
Mathlib/Analysis/Convex/SpecificFunctions/Basic.lean
feat: convexOn_rpow_left (#30829)
Added convexOn_rpow_leftView on Github →