Add a few set and map related lemmas

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

Todo

  • Update changelog
Edited by Simon Friis Vindum

Merge request reports