PR #1037 fix(data/nat/enat): Fix typo in lemma name

fix(data/nat/enat): Fix typo in lemma name #1037

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

fix(data/nat/enat): Fix typo in lemma name

a087ea77

jcommelin requested a review 6 years ago

sgouezel approved these changes on 2019-05-16

sgouezel added ready-to-merge

mergify merged ad0f42df into master 6 years ago

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

Reviewers

sgouezel

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone