Structure FirstOrder.Language.Theory.CompleteType

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Types.lean

feat: port ModelTheory.Types (#3991)

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