Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-11-15 22:46 65ff54c7

View on Github →

feat(data/fintype/basic): add fin_injective (#10330)

Estimated changes

added theorem fin.cast_eq_cast'
added theorem fin_injective