Commit 2024-09-04 09:43 ca494e4e
View on Github →feat(ModelTheory): Better uses of IsAlgebraic and IsRelational (#16323)
Redefines IsAlgebraic and IsRelational as abbrevs, removing the need for some explicit instances.
The constructors for Structure, LHom and LHom.IsExpansionOn will, by default, skip the definition on relations in algebraic languages and the definition on functions in relational languages.