Add map_fmap_union for FinMap

Actually, maybe this should be called map_fmap_union? The LHS is fmap f (union m1 m2).

added 1 commit

• 462c06f7 - Add map_fmap_union for FinMap

Compare with previous version

changed title from Add map_union_fmap for FinMap to Add map_fmap_union for FinMap

merged

mentioned in commit b0b60193

Thanks!