Skip to content

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

Hai Dangrequested to merge
hai/more_finmaps into master

Some lemmas that I believe worth upstreaming.

Edited by Hai Dang

Merge request reports