basic): add a few lemmas (#14718)

Commit

3 years ago

feat(data/nat/basic): add a few lemmas (#14718) Add a few lemmas about sub and mod.

Author

user7230724

Parents