Kourovka 20.125: Surjective Rota–Baxter operators

Kourovka 20.125: Surjective Rota–Baxter operators

Model / AI: Aristotle

A noninjective example is reported. Aristotle supplied the argument; human authors prepared the paper.

Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.

• Paper — Kourovka Notebook solutions
• Lean — code
• Paper — Individual results and methods