Commit 2022-09-20 07:09 95d67152

View on Github →

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

Estimated changes