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