Project: formalization of the divergence theorem

Jump to bottom

Yury G. Kudryashov edited this page Feb 8, 2022 · 2 revisions

Main PRs

#10000: add Cauchy integral formula for a disk, drop differentiability assumptions on the boundary of a box in the divergence theorem;
#11686: removable singularity theorem;
#10906: define circle integral;
#10616: the divergence theorem for functions f : ℝ → E and f g : ℝ × ℝ → E;
#9811: the divergence theorem for the Bochner integral;
#9496: the divergence theorem for the GP integral.