Code

differentiation under integral#1435

Code

Merged

affeldt-aist merged 7 commits intomath-comp:mastermath-comp/analysis:masterfrom affeldt-aist:ftc_20241217affeldt-aist/analysis:ftc_20241217Copy head branch name to clipboardFeb 6, 2025

+780-15

Commits

Commits on Feb 5, 2025

• differentiation under integral

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  6db4b98

  Copy full SHA for 6db4b98

• gauss integral

  Show description for f0a0a7a
  

  2 peopleauthored and

  CohenCyril

  committed
  f0a0a7a

  Copy full SHA for f0a0a7a

• renaming

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  a4c3c52

  Copy full SHA for a4c3c52

• Update theories/lebesgue_integral.v

  Show description for 820f477
  

  affeldt-aist

  and

  CohenCyril

  committed
  820f477

  Copy full SHA for 820f477

• addressing comments

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  9033dd8

  Copy full SHA for 9033dd8

• fix changelog

  

  affeldt-aist

  authored and

  CohenCyril

  committed
  ec09745

  Copy full SHA for ec09745

• Rm spurious lemmas + fix dangerous Hint

  CohenCyril

  committed
  c7cea25

  Copy full SHA for c7cea25