basic): some lemmas (#792)

Commit

6 years ago

feat(data/nat/basic): some lemmas (#792) * feat(data/nat/basic): some lemmas * fixing namespace, moving lemma

References

Author

kim-em

Committer

ChrisHughes24

Parents