mathlib3

ce3ca596 - chore(data/fincard): move to set_theory/ (#7795)

chore(data/fincard): move to set_theory/ (#7795) This is about cardinals, so probably belongs in `set_theory/` not `data/`. (It's also a leaf node for now, so easy to move.)