basic): weaken hypotheses for int.induction_on
#887

Merged

refactor(data/int/basic): weaken hypotheses for int.induction_on #887

mergify merged 5 commits into master from ChrisHughes24-patch-1

refactor(data/int/basic): weaken hypotheses for int.induction_on

665dede8

jcommelin dismissed these changes on 2019-04-04

fix build

20141a55

mergify dismissed their stale review 6 years ago

Pull request has been modified.

cipher1024 assigned

digama0 6 years ago

digama0 dismissed these changes on 2019-04-11

digama0 added ready-to-merge

Merge remote-tracking branch 'origin/lean-3.4.2' into ChrisHughes24-p…

156eb9f1

ChrisHughes24 requested a review 6 years ago

mergify dismissed their stale review 6 years ago

Pull request has been modified.

digama0 dismissed these changes on 2019-04-11

fix build

c10af9d0

mergify dismissed their stale review 6 years ago

Pull request has been modified.

digama0 approved these changes on 2019-04-11

Merge branch 'master' into 'ChrisHughes24-patch-1'

f93340fc

cipher1024 removed ready-to-merge

cipher1024 added ready-to-merge

mergify merged be79f25b into master 6 years ago

mergify deleted the ChrisHughes24-patch-1 branch 6 years ago

Reviewers

digama0

jcommelin

Assignees

digama0

Labels

ready-to-merge

Milestone

No milestone