sympy__sympy-21596

bug in is_subset(Reals)

Verdict: no quoted evidence found by either check.

No quoted evidence found. This is not proof the task is clean; see the methodology.

All SWE-bench Verified tasks · more sympy/sympy tasks · How the check works