Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-04-26 09:29 c170ce3a

View on Github →

chore(data/finset): add coe_map, coe_image_subset_range, and coe_map_subset_range (#2530)

Estimated changes

added theorem finset.coe_map