Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fintype.coe_image_univ

Modification history

2020-03-30 10:46
src/data/fintype.lean
feat(data/fin*): uniqueness of increasing bijection (#2258) …
Added fintype.coe_image_univView on Github →