Theorem FirstOrder.Language.Theory.CompleteTheory.subset

Modification history

2023-05-15 09:49

Mathlib/ModelTheory/Semantics.lean

refactor: rename `FirstOrder.Language.Theory.CompleteTheory.subset` to `FirstOrder.Language.Theory.completeTheory.subset` (#3990)

Deleted FirstOrder.Language.Theory.CompleteTheory.subset View on Github →

2023-05-12 15:18

Mathlib/ModelTheory/Semantics.lean

feat: port ModelTheory.Semantics (#3196)

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