feat(ModelTheory/Definablity): add syntax-to-definability bridge lemmas#38231
Open
NoneMore wants to merge 1 commit intoleanprover-community:masterfrom
Open
feat(ModelTheory/Definablity): add syntax-to-definability bridge lemmas#38231NoneMore wants to merge 1 commit intoleanprover-community:masterfrom
NoneMore wants to merge 1 commit intoleanprover-community:masterfrom
