commit 36c1dbaf4c02cb2e3e0abcaef6c36d8f22cf3554 parent a5f81ec7fbfb7e136cbd5ef0ffbc9c096e219554 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Wed, 16 Sep 2026 18:23:43 +0200 commit with codex Diffstat:
| formula_measure | | | 2 | +- |
| measure_theory | | | 8 | ++++++++ |
2 files changed, 9 insertions(+), 1 deletion(-)
diff --git a/formula_measure b/formula_measure @@ -5,4 +5,4 @@ Up: [logic], [formula] -See also: [width_measure] +See also: [width_measure], [measure_theory] diff --git a/measure_theory b/measure_theory @@ -0,0 +1,8 @@ +# Measure theory + +https://en.wikipedia.org/wiki/%CE%A3-algebra#Borel_and_Lebesgue_%CF%83-algebras + +https://en.wikipedia.org/wiki/Vitali_set +- uses [axiom_of_choice] + +Up: [probability_theory]