Theorem FirstOrder.Language.age.jointEmbedding

Modification history

2023-07-07 17:05

Mathlib/ModelTheory/Fraisse.lean

feat: port ModelTheory.Fraisse (#4565)

Added FirstOrder.Language.age.jointEmbedding View on Github →