Code

Convexity of powR#1011

Code

Merged

affeldt-aist merged 7 commits intomath-comp:mastermath-comp/analysis:masterfrom hoheinzollern:convex_powRhoheinzollern/analysis:convex_powRCopy head branch name to clipboardOct 2, 2023

+184-3

Commits

Commits on Oct 2, 2023

• Convexity of power function

  Show description for 76e0493
  

  affeldt-aist

  and

  hoheinzollern

  committed
  76e0493

• nitpicks

  affeldt-aist

  committed
  7d6c677

• nitpick

  affeldt-aist

  committed
  bb25d12

• fix

  affeldt-aist

  committed
  a3d443d

• for Coq 8.14

  affeldt-aist

  committed
  54baf86

• Shortened proof

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  f676291

• fix

  affeldt-aist

  committed
  ed13992