Add two useful lemmas

Merged Amin Timany requested to merge amintimany/coq-stdpp:lemmas into master

Merge request reports