Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-30 03:51 cd51f0de

View on Github →

fix(data/fintype/basic): generalize fintype instance for fintype.card_coe (#13055)

Estimated changes

Modified src/combinatorics/hall/finite.lean

Modified src/data/fintype/basic.lean

modified theorem fintype.card_coe