Def FirstOrder.Language.Term.realize

Modification history

2023-05-12 15:18

Mathlib/ModelTheory/Semantics.lean

feat: port ModelTheory.Semantics (#3196)

Added FirstOrder.Language.Term.realize View on Github →