Def FirstOrder.Language.inhabited.trivialStructure

Modification history

2023-05-12 16:00

Mathlib/ModelTheory/Basic.lean

refactor: rename `FirstOrder.Language.inhabited.trivialStructure` to `Inhabited.trivialStructure` (#3934)

Deleted FirstOrder.Language.inhabited.trivialStructure View on Github →

2023-03-30 05:03

Mathlib/ModelTheory/Basic.lean

feat: port ModelTheory.Basic (#2296)

Added FirstOrder.Language.inhabited.trivialStructure View on Github →