mathlib

d24792c6 - feat(model_theory/terms_and_formulas): Define satisfiability and semantic equivalence of formulas (#11928)

feat(model_theory/terms_and_formulas): Define satisfiability and semantic equivalence of formulas (#11928) Defines satisfiability of theories Provides a default model of a satisfiable theory Defines semantic (logical) equivalence of formulas