Code

gen exp_fun#876

Code

Merged

proux01 merged 8 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:exp_20230314affeldt-aist/analysis:exp_20230314Copy head branch name to clipboardMar 31, 2023

+173-35

Commits

Commits on Mar 30, 2023

• gen exp_fun

  Show description for 9190920
  

  3 peoplecommitted
  9190920

• add lemma power12_sqrt

  affeldt-aist

  committed
  30354cd

• additional lemmas

  

  hoheinzollern

  authored and

  affeldt-aist

  committed
  37ed4cf

• change power_pos so that 0^0=1

  Show description for 2a772ad
  affeldt-aist

  committed
  2a772ad

• measurable_fun exp ln

  affeldt-aist

  committed
  c6af01d

• fix chaneglog

  affeldt-aist

  committed
  fdf0c2d

• add power_pos_intmul proposed by Pierre

  affeldt-aist

  committed
  bea6c1e

Commits on Mar 31, 2023

• fix changelog

  affeldt-aist

  committed
  27c51ca