Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.order_emb_of_fin_mem

Modification history

2021-01-27 08:41
src/data/finset/sort.lean
chore(*): add more simp lemmas, refactor theorems about `fintype.sum` (#5888) …
Added finset.order_emb_of_fin_memView on Github →