Def FirstOrder.Language.Theory.realizedTypes

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Types.lean

feat: port ModelTheory.Types (#3991)

Added FirstOrder.Language.Theory.realizedTypes View on Github →