Skip to content
GitLab

Add more lemmas for FinMaps (for union, filter, difference)

Merged Hai Dang requested to merge hai/more_finmaps into master

Some lemmas that I believe worth upstreaming.

Edited by Hai Dang