mathlib3
65521b0a - 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

Committer

b-mehta

Parents

487385a4

mathlib3 65521b0a - feat(model_theory/types): Complete types over a theory (#16548)

mathlib3
65521b0a - feat(model_theory/types): Complete types over a theory (#16548)