def take_first_relation()

in src/math_verify/grader.py [0:0]

• 4 lines of code
• 2 McCabe index (conditional complexity)

def take_first_relation(expr: And | Relational) -> Relational:
    """Take the first relation from an And expression."""
    if isinstance(expr, And):
        return expr._unsorted_args[0]
    return expr