Def Embedding.empty

Modification history

2024-08-27 20:26

Mathlib/ModelTheory/Basic.lean

chore(ModelTheory): Tweaks involving the empty language (#16192) …

Deleted Embedding.empty View on Github →

2023-03-30 05:03

Mathlib/ModelTheory/Basic.lean

feat: port ModelTheory.Basic (#2296)

Added Embedding.empty View on Github →