Commit 2022-05-28 11:42 d0efbcb0
View on Github →feat(model_theory/elementary_maps): Elementary maps respect all (bounded) formulas (#14252)
Generalizes elementary_embedding.map_formula
to more classes of formula.
feat(model_theory/elementary_maps): Elementary maps respect all (bounded) formulas (#14252)
Generalizes elementary_embedding.map_formula
to more classes of formula.