Theorem FirstOrder.Language.BoundedFormula.IsQF.liftAt

Modification history

2024-08-26 23:29
Mathlib/ModelTheory/Complexity.lean
feat(ModelTheory/Complexity): Preservation theorems for atomic and quantifier-free formulas (#16108) …
Deleted FirstOrder.Language.BoundedFormula.IsQF.liftAtView on Github →
2024-07-31 06:03
Mathlib/ModelTheory/Complexity.lean
chore(ModelTheory/Complexity): move quantifier complexity into a new file (#15275) …
Modified FirstOrder.Language.BoundedFormula.IsQF.liftAtView on Github →
2023-04-17 11:39
Mathlib/ModelTheory/Syntax.lean
feat: port ModelTheory.Syntax (#3195)
Added FirstOrder.Language.BoundedFormula.IsQF.liftAtView on Github →