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.