parity): fix definition of 'even'
#1240

Merged

fix(data/{nat,int}/parity): fix definition of 'even' #1240

mergify merged 2 commits into leanprover-community:master from avigad:parity_fix

fix(data/{nat,int}/parity): fix definition of 'even'

4d34fb2d

avigad requested a review 6 years ago

jcommelin approved these changes on 2019-07-18

jcommelin added ready-to-merge

Merge branch 'master' into parity_fix

da18bd4e

mergify merged e704f940 into master 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone