PR #1017 feat(data/nat): various lemmas

feat(data/nat): various lemmas #1017

mergify merged 8 commits into master from nat-lemmas

feat(data/nat): various lemmas

6c414b1d

kim-em requested a review 6 years ago

protect a definition

cef9b7f9

jcommelin commented on 2019-05-13

digama0 commented on 2019-05-13

fixes

3552fc42

robertylewis commented on 2019-05-14

Rob's suggestions

6084fbc4

Merge branch 'master' into nat-lemmas

b2108a91

Mario’s proof

cdc6c92b

Merge branch 'master' into nat-lemmas

a13c3e20

minigolf

7a918ddb

robertylewis approved these changes on 2019-05-22

robertylewis added ready-to-merge

mergify merged f004d327 into master 6 years ago

mergify deleted the nat-lemmas branch 6 years ago

Reviewers

robertylewis

digama0

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone