mathlib

b86b9272 - move(set_theory/*): Organize in folders (#13530)

move(set_theory/*): Organize in folders (#13530) Create folders `cardinal`, `ordinal` and `game`. Most files under `set_theory` belong to a least one of them.