mathlib3

6879dd0c - feat(model_theory/satisfiability): The Łoś–Vaught Test (#14758)

feat(model_theory/satisfiability): The Łoś–Vaught Test (#14758) Provides more API for elementary equivalence Shows that a `κ`-categorical theory with only infinite models is complete.