Theorem FirstOrder.Language.Theory.CompleteType.isMaximal

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Types.lean

feat: port ModelTheory.Types (#3991)

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