mathlib3
2308b53c - feat(model_theory/terms_and_formulas): Make `Theory.model` a class (#12867)

Commit

3 years ago

feat(model_theory/terms_and_formulas): Make `Theory.model` a class (#12867) Makes `Theory.model` a class

Author

awainverse

Parents