feat(overview.yaml): add divergence theorem (#16781)

leanprover-community · Oct 4, 2022 · 3f6d1de · 3f6d1de
1 parent 8230606
commit 3f6d1de
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/overview.yaml b/docs/overview.yaml
@@ -333,6 +333,7 @@ Analysis:
     approximation by convolution: 'cont_diff_bump_of_inner.convolution_tendsto_right'
     regularization by convolution: 'has_compact_support.cont_diff_convolution_left'
     change of variables formula: 'measure_theory.integral_image_eq_integral_abs_det_fderiv_smul'
+    divergence theorem: 'measure_theory.integral_divergence_of_has_fderiv_within_at_off_countable'
 
   Complex analysis:
     Cauchy integral formula: 'diff_cont_on_cl.circle_integral_sub_inv_smul'