Lemmas for fin_maps

Merged Michael Sammler requested to merge msammler/stdpp:feature/fin_maps into master

Merge request reports