PR #1031 feat(data/nat/basic): decreasing induction

feat(data/nat/basic): decreasing induction #1031

mergify merged 2 commits into leanprover-community:master from sgouezel:decreasing_induction

feat(data/nat/basic): decreasing induction

86d7b7b4

sgouezel requested a review 6 years ago

cipher1024 dismissed these changes on 2019-05-14

cipher1024 added ready-to-merge

fpvandoorn dismissed these changes on 2019-05-14

feat(data/nat/basic): better proof of decreasing induction

68e31032

mergify dismissed their stale review 6 years ago

Pull request has been modified.

mergify dismissed their stale review 6 years ago

Pull request has been modified.

robertylewis approved these changes on 2019-05-14

mergify merged ae8f197b into master 6 years ago

sgouezel deleted the decreasing_induction branch 6 years ago

Reviewers

robertylewis

fpvandoorn

cipher1024

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone