mathlib
95d67152 - feat(model_theory/types): Complete types over a theory (#16548)

Commit

3 years ago

feat(model_theory/types): Complete types over a theory (#16548) Defines the space of complete types over a particular theory in a particular type of variables

Author

awainverse

Parents

560891c4

mathlib 95d67152 - feat(model_theory/types): Complete types over a theory (#16548)

mathlib
95d67152 - feat(model_theory/types): Complete types over a theory (#16548)