-
Notifications
You must be signed in to change notification settings - Fork 250
Pull requests: teorth/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Measure theory 1.3.5: complete Lebesgue measurability fixes
#549
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
2 tasks
Measure theory 1.3.5: Lebesgue measurability for local integrability
#548
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
1 task
Measure theory 1.3.5: Lebesgue measurability in Egorov and Lusin
#547
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
1 task
Measure theory 1.3.3: use Lebesgue measurability for set hypotheses
#546
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: add global bounds in Ex. 1.3.8 aeEqual/aeLimit
#545
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
1 task
fix: require g ≠ 0 in PiecewiseConstantOn.div
#544
opened Jun 28, 2026 by
Chessing234
Contributor
Loading…
1 task
Section 11.10: fix sign in Exercise 11.10.3 statement
#542
opened Jun 24, 2026 by
Chessing234
Contributor
Loading…
1 task
Measure theory 1.2.4: require nonempty sets in dist_of_disj_compact_pos
#540
opened Jun 24, 2026 by
Chessing234
Contributor
Loading…
1 task
Section 9.8: fix undecidable Exercise 9.8.4 statements from issue #517
#526
opened Jun 10, 2026 by
Chessing234
Contributor
Loading…
1 task
ProTip!
Add no:assignee to see everything that’s not assigned.