mathlib3

42343ce5 - chore(data/fintype/card): move documentation to match code (#17876)