mathlib

135c5742 - feat(model_theory/definability): Definability lemmas (#12262)

feat(model_theory/definability): Definability lemmas (#12262) Proves several lemmas to work with definability over different parameter sets. Shows that definability is closed under projection.