mathlib

00908913 - chore(model_theory/*): Split up model_theory/basic (#11846)

chore(model_theory/*): Split up model_theory/basic (#11846) Splits model_theory/basic into separate files: basic, substructures, terms_and_formulas, definability, quotients Improves documentation throughout