Def FirstOrder.Language.emptyStructure

Modification history

2024-09-04 09:43
Mathlib/ModelTheory/Basic.lean
feat(ModelTheory): Better uses of `IsAlgebraic` and `IsRelational` (#16323) …
Modified FirstOrder.Language.emptyStructureView on Github →
2024-08-27 20:26
Mathlib/ModelTheory/Basic.lean
chore(ModelTheory): Tweaks involving the empty language (#16192) …
Added FirstOrder.Language.emptyStructureView on Github →