basic): Add unit lemmas (#13565)

Commit

3 years ago

feat(data/int/basic): Add unit lemmas (#13565) This PR adds a few more unit lemmas, and cleans up some of the proofs.

Author

tb65536

Parents