Commit 2024-09-04 21:53 0cf4af7d
View on Github →refactor(ModelTheory): Redefine order and graph languages to use inductive definitions instead of Language.mk₂ (#16367)
Redefines order and graph languages using the same style of inductive definition as Language.ring