proof simplification #1393

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

Merged

affeldt-aist merged 1 commit into math-comp:master from CohenCyril:near_in_itv_20241113

Nov 17, 2024

Member

CohenCyril commented Nov 13, 2024

Motivation for this change

Simplify proofs from PR #1375

Checklist

~~added corresponding entries in CHANGELOG_UNRELEASED.md~~

added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

Read this Checklist
Put a milestone if possible
Check labels


          proof simplification

675d880

affeldt-aist force-pushed the near_in_itv_20241113 branch from 59ca32c to 675d880 Compare

November 17, 2024 14:56

affeldt-aist merged commit 11d5cf6 into math-comp:master

31 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet