mathlib3

f2a46a24 - refactor(model_theory/*): Use `countable` in model theory (#16496)

refactor(model_theory/*): Use `countable` in model theory (#16496) Uses `countable` instead of custom classes in the model theory library. Co-authored-by: Yury G. Kudryashov <urkud@urkud.name>