Commit 2024-08-26 10:46 d6507ed4
View on Github →refactor(ModelTheory): Prove preservation results at the level of HomClass
and StrongHomClass
(#16107)
Prove results about various kinds of first-order maps preserving the values of terms and formulas at a level of higher generality, in terms of HomClass
or StrongHomClass
and EquivLike
.