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

fix(NearlyConstant): major rewrite and cleanup: stage 4 #30

Merged

favonia merged 4 commits into main from cleanup-stage4

Nov 24, 2023

Contributor

favonia commented Nov 23, 2023 •

edited

Loading

Goal

redefine the order of NearlyConstant using inf<
prove lemmas about index (merge-with f ...)
add extensionality for fun
rename ≤-everywhere to ≤-pointwise
delete useless code


          style: cleanup stage 4

bd44dd9

favonia force-pushed the cleanup-stage4 branch from 20683b3 to bd44dd9 Compare

November 23, 2023 18:33

favonia added 3 commits

November 23, 2023 16:51


          style(InfiniteProduct): rename ≤-everywhere to ≤-pointwise

a31a41a


          feat(StrictOrder): more lemmas

bb381c4


          fix(NearlyConstant): major rewrite and cleanup

0dc31a5

favonia merged commit f784da3 into main

2 checks passed

favonia deleted the cleanup-stage4 branch

November 24, 2023 12:15

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

Labels

None yet