Theorem FirstOrder.Sequence₂.lift_mk

Modification history

2024-09-06 08:34

Mathlib/ModelTheory/Basic.lean

refactor(ModelTheory): Remove `FirstOrder.Language.mk₂` and related constructors (#16369) …

Deleted FirstOrder.Sequence₂.lift_mk View on Github →

2023-03-30 05:03

Mathlib/ModelTheory/Basic.lean

feat: port ModelTheory.Basic (#2296)

Added FirstOrder.Sequence₂.lift_mk View on Github →