sympy__sympy-14248
The difference of MatrixSymbols prints as a sum with (-1) coefficient
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