docs(undergrad): clean up distribution section (#15600)

leanprover-community · Jul 22, 2022 · 2f99fd4 · 2f99fd4
1 parent d96fc10
commit 2f99fd4
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/docs/undergrad.yaml b/docs/undergrad.yaml
@@ -583,12 +583,14 @@ Distribution calculus:
     constructing approximations of probability density functions in spaces of common functions (trig, exp, rational, log, etc): ''
   Distributions on $\R^d$:
     definition of distributions: ''
-    locally integrable functions: ''
+    locally integrable functions as distributions: ''
+    derivative of a distribution: ''
     Dirac measures: ''
+    derivatives of Dirac measures: ''
+    derivative of the Heaviside function: ''
     Cauchy principal values: ''
     multiplication by a smooth function: ''
-    probability distribution function from a dataset: ''
-    convergent distribution series: ''
+    convergence of sequences of distributions: ''
     support of a distribution: ''
   Spaces $\mathcal{S}(\R^d)$:
     Schwartz space of rapidly decreasing functions: ''