Mathlib Changelog
v4
Changelog
About
Github
Def
FirstOrder.Language.linearOrderOfModels
Modification history
2024-09-05 13:49
Mathlib/ModelTheory/Order.lean
feat(ModelTheory/Order): From order to structure and back (#16373) …
Added
FirstOrder.Language.linearOrderOfModels
View on Github →