PR #792 feat(data/nat/basic): some lemmas

feat(data/nat/basic): some lemmas #792

ChrisHughes24 merged 2 commits into master from nat-lemmas

feat(data/nat/basic): some lemmas

54efb543

kim-em requested a review from

ChrisHughes24 7 years ago

ChrisHughes24 commented on 2019-03-06

cipher1024 assigned

ChrisHughes24 7 years ago

fixing namespace, moving lemma

0758c0f3

ChrisHughes24 merged e286452d into master 7 years ago

ChrisHughes24 deleted the nat-lemmas branch 7 years ago

Reviewers

ChrisHughes24

Assignees

ChrisHughes24

Labels

None yet

Milestone

No milestone