Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-06 22:33 568e405d

View on Github →

feat(data/finset): embedding properties of finset.map

Estimated changes

Modified data/finset.lean

added def finset.map_embedding

added theorem finset.map_embedding_apply

added theorem finset.map_inj

modified theorem finset.map_subset_map

added theorem finset.mem_map'

modified theorem finset.mem_map_of_mem

added theorem finset.subset.antisymm_iff