basic): inequalities (#2801)

Commit

6 years ago

feat(data/nat/basic): inequalities (#2801) Adds some simple inequalities about `nat.pow`.

Author

kim-em

Parents