Commit 2022-04-02 01:59 607f4f8a

feat(model_theory/semantics): A simp lemma for Theory.model (#13117) Defines Theory.model_iff to make it easier to show when a structure models a theory.