Def FirstOrder.Language.ElementaryEmbedding.toEmbedding

Modification history

2023-05-13 13:53

Mathlib/ModelTheory/ElementaryMaps.lean

feat: port ModelTheory.ElementaryMaps (#3931)

Added FirstOrder.Language.ElementaryEmbedding.toEmbedding View on Github →