-
Notifications
You must be signed in to change notification settings - Fork 262
Pull requests: teorth/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fill that countably additive measures stay countably additive on subalgebras
#715
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill that Lebesgue measure is countably additive
#714
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill countable additivity of the zero measure
#713
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill finite additivity of counting measure
#712
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill finite unions in the null-set boolean algebra
#711
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill the ENNReal action on countably additive measures
#710
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill the additive commutative monoid instance for countably additive measures
#709
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill countable additivity of restriction to a sub-sigma-algebra
#708
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Show the Borel sigma-algebra sits inside the Lebesgue sigma-algebra
#707
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Show the generated boolean algebra sits inside the generated sigma-algebra
#706
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill that the restriction of a sigma-algebra is a sigma-algebra
#705
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill restriction of a finitely additive measure to a measurable subset
#704
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Point elementary finitely additive measure at existing algebra inclusions
#703
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill the ENNReal action on finitely additive measures
#702
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill positivity and empty for counting measure
#701
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill scalar multiplication of finitely additive measures
#700
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Show the Lebesgue algebra contains the Jordan algebra
#699
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Show the Jordan algebra contains the elementary algebra
#698
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill the additive commutative monoid instance for finitely additive measures
#697
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill that the Lebesgue boolean algebra is a sigma-algebra
#696
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Alias the custom/Mathlib sigma-algebra conversions
#695
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill Lebesgue positivity/empty and Dirac finite additivity
#694
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill null, atomic, restriction, and infimum constructors for boolean algebras
#693
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Fill sigma-algebra order, infima, and the Mathlib union bridge
#692
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Point inner-measure's bounded-set cover at the existing lemma
#691
opened Sep 7, 2026 by
Chessing234
Contributor
Loading…
Previous Next
ProTip!
Filter pull requests by the default branch with base:main.