basic): Add some trivial lemmas (#4738)

Commit

5 years ago

feat(data/{nat,list}/basic): Add some trivial lemmas (#4738) Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>

References

Author

eric-wieser

Parents