Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

more appropriate section name #1045

Closed
affeldt-aist opened this issue Oct 5, 2023 · 0 comments · Fixed by #1043
Closed

more appropriate section name #1045

affeldt-aist opened this issue Oct 5, 2023 · 0 comments · Fixed by #1043

Comments

@affeldt-aist
Copy link
Member

analysis/theories/lebesgue_integral.v

Line 5551 in 9fbd7cd

Section lebesgue_differentiation.

lebesgue_differentiation_continuous is maybe more appropriate
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Oct 5, 2023
@affeldt-aist
fixes math-comp#1045
58aa919
@affeldt-aist affeldt-aist mentioned this issue Oct 5, 2023
Merged
2 tasks
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Oct 5, 2023
@affeldt-aist
fixes math-comp#1045
573bba7
proux01 pushed a commit to affeldt-aist/analysis that referenced this issue Oct 9, 2023
@affeldt-aist @proux01
fixes math-comp#1045
25006bf
@proux01 proux01 closed this as completed in 41d3ca5 Oct 9, 2023
affeldt-aist added a commit to affeldt-aist/analysis that referenced this issue Oct 10, 2023
@affeldt-aist
fixes math-comp#1045
7f7c023
affeldt-aist added a commit that referenced this issue Oct 11, 2023
@affeldt-aist
fixes #1045
baf1026
IshiguroYoshihiro pushed a commit to IshiguroYoshihiro/analysis that referenced this issue Oct 24, 2023
@affeldt-aist @IshiguroYoshihiro
fixes math-comp#1045
db29191
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fixes 1042, 1037, 1045, 1046 affeldt-aist/analysis
1 participant
@affeldt-aist