mathlib

b3653717 - feat(model_theory/syntax,semantics): Sentences for binary relation properties (#13087)

feat(model_theory/syntax,semantics): Sentences for binary relation properties (#13087) Defines sentences for basic properties of binary relations Proves that realizing these sentences is equivalent to properties in the binary relation library