We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent b0cfe0f commit 6473c76Copy full SHA for 6473c76
1 file changed
CHANGELOG_UNRELEASED.md
@@ -33,6 +33,9 @@
33
- in `pseudometric_normed_Zmodule.v`:
34
+ lemma `dense_set1C`
35
36
+- in `probability.v`:
37
+ + lemmas `cdf_fin_num`, `lebesgue_stieltjes_cdf_id`
38
+
39
- new file `borel_hierarchy.v`:
40
+ definitions `Gdelta`, `Fsigma`
41
+ lemmas `closed_Fsigma`, `Gdelta_measurable`, `Gdelta_subspace_open`,
0 commit comments