Theorem FirstOrder.Language.Theory.CompleteType.subset

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Types.lean

feat: port ModelTheory.Types (#3991)

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