[Merged by Bors] - chore(Data/Set/Card): make s.ncard the simpNF of Fintype.card s#39414

SnirBroshi wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:chore/unsimp-fintype-card-setSnirBroshi/mathlib4:chore/unsimp-fintype-card-setCopy head branch name to clipboard