mathlib3

c6677234 - feat(model_theory/syntax, semantics): Mapping formulas given maps on terms and relations (#14466)

feat(model_theory/syntax, semantics): Mapping formulas given maps on terms and relations (#14466) Defines `first_order.language.bounded_formula.map_term_rel`, which maps formulas given maps on terms and maps on relations.