Skip to content

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

Hai Dang requested to merge hai/more_finmaps into master

Some lemmas that I believe worth upstreaming.

Edited by Hai Dang

Merge request reports