basic): make arguments to `choose_succ_right_eq` explicit
#1935

Merged

fix(data/nat/basic): make arguments to `choose_succ_right_eq` explicit #1935

mergify merged 1 commit into master from jcommelin-patch-4

fix(data/nat/basic): make arguments to `choose_succ_right_eq` explicit

630cde4f

robertylewis approved these changes on 2020-02-01

robertylewis added ready-to-merge

mergify merged 50bbb8df into master 6 years ago

mergify deleted the jcommelin-patch-4 branch 6 years ago

Reviewers

robertylewis

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone