mathlib3
3838b852 - feat(model_theory/*): Language equivalences (#12837)

Commit

3 years ago

feat(model_theory/*): Language equivalences (#12837) Defines equivalences between first-order languages

Author

awainverse

Parents