Add a few lemmas

Merged Simon Friis Vindum requested to merge simonfv/stdpp:master into master

Add a few lemmas.

Merge request reports