Misc lemma for sets and `gset_to_gmap`

Upstreamed from the Aneris project.

resolved all threads

added 1 commit

• 440586f4 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 440586f4 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 440586f4 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 440586f4 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

resolved all threads

added 1 commit

• 4a90e83e - Apply 2 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 4a90e83e - Apply 2 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 4a90e83e - Apply 2 suggestion(s) to 1 file(s)

Compare with previous version

added 1 commit

• 4a90e83e - Apply 2 suggestion(s) to 1 file(s)

Compare with previous version

added 7 commits

• 4a90e83e...3c8baa66 - 3 commits from branch iris:master
• edf1933e - Add lemma `gset_to_gmap_singleton`
• f529bf28 - Add lemma union_difference_intersection{_L}
• e433cd0b - Tweaks.
• f9929c5d - Add README.

Compare with previous version

added 7 commits

• 4a90e83e...3c8baa66 - 3 commits from branch iris:master
• edf1933e - Add lemma `gset_to_gmap_singleton`
• f529bf28 - Add lemma union_difference_intersection{_L}
• e433cd0b - Tweaks.
• f9929c5d - Add README.

Compare with previous version

added 1 commit

• 42c43f9c - Add CHANGELOG.

Compare with previous version

Thanks for the MR. I made some tweaks and added a CHANGELOG.

Please let me know if you agree @lstefane

added 1 commit

• 42c43f9c - Add CHANGELOG.

Compare with previous version

added 7 commits

• 4a90e83e...f9929c5d - 4 commits from branch iris:master
• edf1933e - Add lemma `gset_to_gmap_singleton`
• f529bf28 - Add lemma union_difference_intersection{_L}
• e433cd0b - Tweaks.

Compare with previous version

added 7 commits

• 4a90e83e...f9929c5d - 4 commits from branch iris:master
• edf1933e - Add lemma `gset_to_gmap_singleton`
• f529bf28 - Add lemma union_difference_intersection{_L}
• e433cd0b - Tweaks.

Compare with previous version