mathlib3

f1ae6206 - feat(model_theory/bundled, satisfiability): Bundled models (#12945)

feat(model_theory/bundled, satisfiability): Bundled models (#12945) Defines `Theory.Model`, a type of nonempty bundled models of a particular theory. Refactors satisfiability in terms of bundled models.