-
Notifications
You must be signed in to change notification settings - Fork 260
Pull requests: teorth/analysis
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(MeasureTheory): elementary sets are Jordan measurable
#663
opened Aug 17, 2026 by
Chessing234
Contributor
Loading…
feat(MeasureTheory): prove Exercise 1.1.1 (Boolean closure of elementary sets)
#662
opened Aug 16, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 2.2
#661
opened Aug 16, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in MeasureTheory 1.2.2-1.4.3
#660
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in MeasureTheory Section 1.1.3
#659
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate remaining duplicate Verso labels in Chapters 2, 5 and 9
#658
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels across Chapter 3
#657
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels across Chapter 6
#656
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 5.6
#655
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 6.2
#654
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 4.1
#653
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 5.3
#652
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 4.2
#651
opened Aug 15, 2026 by
Chessing234
Contributor
Loading…
fix: scope Exercise 1.2.2's boundedness hypothesis to its own conjunct
#650
opened Aug 14, 2026 by
Chessing234
Contributor
Loading…
fix: Exercise 1.2.2' should assume uniform convergence on [0,1]
#649
opened Aug 14, 2026 by
Chessing234
Contributor
Loading…
fix: Exercise 1.1.7(i) needs a closed box
#648
opened Aug 12, 2026 by
Chessing234
Contributor
Loading…
fix: Exercise 1.3.8(ii) should be the real/complex simple function characterization
#647
opened Aug 12, 2026 by
Chessing234
Contributor
Loading…
fix: JordanMeasurable.boolean_algebra.not_isSigmaAlgebra needs d ≥ 1
#646
opened Aug 12, 2026 by
Chessing234
Contributor
Loading…
fix: disambiguate duplicate Verso labels in Section 5.4
#640
opened Aug 8, 2026 by
Chessing234
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.