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(data/int/basic): rename sub_one_le_iff #394

Merged

digama0 merged 2 commits into leanprover-community:master from ChrisHughes24:lt_sub

Oct 7, 2018

Member

ChrisHughes24 commented Oct 6, 2018

TO CONTRIBUTORS:

Make sure you have:

reviewed and applied the coding style: coding, naming
make sure definitions and lemmas are put in the right files
make sure definitions and lemmas are not redundant

For reviewers: code review check list

ChrisHughes24 added 2 commits

October 6, 2018 11:34


          fix(data/int.basic): rename sub_one_le_iff

21b2846


          Merge remote-tracking branch 'upstream/master' into lt_sub

30e00a6

ChrisHughes24 changed the title ~~fix(data/int.basic): rename sub_one_le_iff~~ fix(data/int/basic): rename sub_one_le_iff

digama0 merged commit c1f13c0 into leanprover-community:master

ChrisHughes24 deleted the lt_sub branch

October 8, 2018 02:18

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