mathlib

0faebd2a - chore(fintype/card_embedding): generalize instances (#12775)

chore(fintype/card_embedding): generalize instances (#12775) Co-authored-by: Eric Rodriguez <37984851+ericrbg@users.noreply.github.com> Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>