PR #885 more general hypotheses for integer induction

more general hypotheses for integer induction #885

mergify merged 2 commits into master from int.induction_on'

more general hypotheses for integer induction

d75e9422

ChrisHughes24 approved these changes on 2019-04-06

ChrisHughes24 added ready-to-merge

Merge branch 'master' into 'int.induction_on''

ced2df4d

abhimanyupallavisudhir requested a review 6 years ago

mergify merged 3360f98a into master 6 years ago

mergify deleted the int.induction_on' branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone