This one here looks like a real AI bot: https://github.com/sympy/sympy/pull/28862
-- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/sympy/CAHVvXxT7p%2B5cb%2B%2BeuKE_r0GS0aRzkAcKRRGM2N%3DtLxGAGx-0uA%40mail.gmail.com.
