Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-28 23:13 73afb6c7

View on Github →

chore(data/fintype/basic): add fintype.card_set (#9434)

Estimated changes