in src/math_verify/grader.py [0:0]
def is_relation(expr: Basic | MatrixBase) -> bool:
"""Check if an expression is a relational expression.
Args:
expr: The expression to check
Returns:
bool: True if expr is a relational expression or And of relations, False otherwise
"""
if isinstance(expr, Relational):
return True
if isinstance(expr, And) and len(expr._unsorted_args) > 0:
return all(isinstance(arg, Relational) for arg in expr._unsorted_args)
return False