def unwrap_eq()

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


def unwrap_eq(s):
    if is_assignment_relation(s):
        return take_last_relation(s).rhs
    return s