mathlib3

80b8d191 - feat(model_theory/terms_and_formulas): Language maps act on terms, formulas, sentences, and theories (#12609)

feat(model_theory/terms_and_formulas): Language maps act on terms, formulas, sentences, and theories (#12609) Defines the action of language maps on terms, formulas, sentences, and theories Shows that said action commutes with realization Co-authored-by: Aaron Anderson <65780815+awainverse@users.noreply.github.com>