Commit 2024-08-26 23:29 cbe86e0d
View on Github →feat(ModelTheory/Complexity): Preservation theorems for atomic and quantifier-free formulas (#16108) Adds a bit of extra API for quantifier-free formulas Proves some preservation theorems of atomic and quantifier-free formulas with respect to certain classes of maps, including embeddings